基于变迁指标分解的Petri网性质分析*

祝军1,2 , 曾庆田1+

Property Analysis of Petri Nets Based on Decomposition According to Indexes of Transitions*

ZHU Jun ^1,2, ZENG Qingtian ¹⁺

计算机科学与探索 . 2010, (8): 761 -768 . DOI: 10.3778/j.issn.1673-9418.2010.08.010