A synopsis of Petri net classes for manufacturing automation | IEEE Conference Publication | IEEE Xplore