共 50 条
- [1] Reachability criterion of live free choice Petri nets [J]. APCCAS '96 - IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS '96, 1996, : 350 - 353
- [2] REACHABILITY THEOREM FOR A CLASS OF LIVE AND SAFE FREE CHOICE NETS [J]. IEICE TRANSACTIONS ON COMMUNICATIONS ELECTRONICS INFORMATION AND SYSTEMS, 1991, 74 (10): : 3133 - 3143
- [3] Reachability Analysis of Variants of Communication-Free Petri Nets [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2009, E92D (03): : 377 - 388
- [6] Reachability of nonsynchronized choice Petri nets and its applications [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2005, 35 (06): : 1203 - 1213
- [8] REACHABILITY IN REVERSIBLE FREE CHOICE SYSTEMS [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 384 - 397