Object Petri nets for synthesis of the control of automated manufacture systems | IEEE Conference Publication | IEEE Xplore