有界Petri 网进程表达式与活性的关系
闫春钢1;2, 汪明新1;2, 刘关俊1;2
Relationship between Process Expression and Liveness of Bounded Petri Nets
YAN Chun-gang1;2, WANG Ming-xin1;2, LIU Guan-jun1;2
应用科学学报 . 2012, (4): 387 -390 .  DOI: 10.3969/j.issn.0255-8297.2012.04.010