共 50 条
- [41] Iterative Deadlock Control by Using Petri Nets IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2012, 42 (06): : 1204 - 1218
- [42] Specifying and Analyzing Strategies using Petri Nets 7TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 2, 2008, : 270 - 280
- [43] Verifying SDL programs using Petri nets 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 208 - 213
- [45] Modeling of a manufacturing system using Petri nets IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 1998, : 137 - 142
- [47] On temporal logic programming using Petri nets IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1999, 29 (03): : 245 - 254
- [49] Deadlock prevention using Petri nets and their unfoldings The International Journal of Advanced Manufacturing Technology, 1998, 14 : 750 - 759
- [50] REACHABILITY ANALYSIS OF PETRI NETS USING SYMMETRIES SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 293 - 303