共 50 条
- [42] Modeling and analysis mznufacturing systems using a new class of Petri nets 2004 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1- 5, PROCEEDINGS, 2004, : 554 - 559
- [43] Concurrency bugs in multithreaded software: modeling and analysis using Petri nets Discrete Event Dynamic Systems, 2013, 23 : 157 - 195
- [44] Performance Modeling Using Queueing Petri Nets COMPUTER NETWORKS (CN 2017), 2017, 718 : 321 - 335
- [47] Modeling and Analysis of a Web Service Firewall Using Coloured Petri Nets 2008 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, VOLS 1-3, PROCEEDINGS, 2008, : 548 - +
- [48] Modeling and analysis of multi-agent systems using Petri nets 2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 2281 - +
- [49] Modeling, analysis, and control of automated manufacturing systems using Petri nets 2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2019, : 27 - 30