Petri net tools for the specification and analysis of discrete controllersReg G. Willson, Bruce H. Krogh|IEEE Transactions on Software Engineering|1990Cited by 48
Automated generation and evaluation of control programs for discrete manufacturing processesBruce H. Krogh, Deepak Pathak, Reg G. Willson|Unknown|2003Cited by 15