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