Property Analysis of Petri Nets Based on Decomposition According to Indexes of Transitions*
ZHU Jun 1,2, ZENG Qingtian 1+
Journal of Frontiers of Computer Science and Technology . 2010, (8): 761 -768 .  DOI: 10.3778/j.issn.1673-9418.2010.08.010