Simulation and control of flexible manufacturing systems using modular Petri net models door Y. Peng