Structural property analysis of Petri nets based on decomposition according to indexes of places
ZHU Jun, ZENG Qingtian+
Journal of Frontiers of Computer Science and Technology . 2009, (1): 91 -97 .  DOI: 10.3778/j.issn.1673-9418.2009.01.008