MengChu Zhou, Frank DiCesare. A Petri net design method for automated manufacturing systems with shared resources. In Proceedings of the 1990 IEEE International Conference on Robotics and Automation, Cincinnati, Ohio, USA, May 13-18, 1990. pages 526-531, IEEE, 1990. [doi]
Abstract is missing.