NARAHARI Y, VISWANADHAM N. A Petri net approach to modeling and analysis of FMS [J]. Annals of Operations Research, 1985, 3(8): 449-472
[2]
ZHOU M, DICESARE F. Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources [J]. IEEE Transactions on Robotics and Automation, 1991, 7(4): 515-527