3[1]Enrique Teruel, Jose' Manuel Colom Member IEEE, Manuel Silva Member IEEE. Choice-Free Petri Nets: A Model for Deterministic Concurrent Systems with Bulk Services and Arrivals[J]. IEEE Transctions on Systems, Man and Cybernetics-Part A: Systems And Humans, 1997: 27(1): 73-83.
4[2]Murata T. Petri Net: properties analysis and applications[C].Proceedings of the IEEE, 1989.
5[3]Best E, Thiagarajan P S. Some classes of live and safe Petri nets[C].in Concurrency and Nets, 1987: (3): 91-94.
6[4]Voss K, Genrich H J, Rozenberg G, eds. Concurrency and Nets Special Volume in the series Advances in Petri Nets[M]. New York:Springer-Verlag, 1987.
7[5]Murata T, Koh J Y. Reduction and expansion of live and safe marked graphs[J]. IEEE Trans. on Circuits and Systems, 1980, (1): 68-70.
