共 50 条
- [41] Specifying and Analyzing Strategies using Petri Nets 7TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 2, 2008, : 270 - 280
- [42] Analyzing realizability of choreographies using Petri nets Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2020, 26 (06): : 1548 - 1556
- [43] Romeo: A tool for analyzing Time Petri Nets COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 418 - 423
- [44] Analyzing dynamic voting using Petri nets 15TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 44 - 53
- [45] Analyzing Services Composition Using Petri Nets PROCEEDINGS OF INTERNATIONAL CONFERENCE ON SOFT COMPUTING TECHNIQUES AND ENGINEERING APPLICATION, ICSCTEA 2013, 2014, 250 : 443 - 450
- [46] On analyzing the vulnerabilities of a railway network with Petri nets 20TH EURO WORKING GROUP ON TRANSPORTATION MEETING, EWGT 2017, 2017, 27 : 553 - 560
- [48] Modeling the mechanism pathways of first line drug in Tuberculosis using Petri nets International Journal of System Assurance Engineering and Management, 2020, 11 : 313 - 324
- [49] Modeling and analyzing component-based Distributed Railway Interlocking System with Petri Nets IEEJ Transactions on Industry Applications, 2009, 129 (05): : 455 - 461
- [50] Petri Nets Based Max-flow/Min-cut Modeling and Analyzing JOURNAL OF INTERNET TECHNOLOGY, 2020, 21 (04): : 919 - 928