共 50 条
- [32] Modeling and analysis for grid service cooperative scheduling based on Petri nets COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, 2007, 4674 : 104 - +
- [33] Formal Modeling and Analysis of SIP Using Colored Petri Nets 2011 7TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING (WICOM), 2011,
- [34] Distributed intrusion detection system modeling and simulation using hierarchical colored Petri nets ISTM/2005: 6th International Symposium on Test and Measurement, Vols 1-9, Conference Proceedings, 2005, : 3824 - 3827
- [35] Modeling an Intelligent Solar Power Plant Control System Using Colored Petri Nets PROCEEDINGS OF THE 11TH IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS (IDAACS'2021), VOL 2, 2021, : 626 - 631
- [36] Modeling and Simulation of a Re-entrant Manufacturing System Using Colored Petri Nets 45TH ANNUAL SIMULATION SYMPOSIUM 2012 (ANSS 2012), 2012, 44 (02): : 1 - 8
- [38] A General Model Checking Method of Electronic Transaction Protocols Using Colored Petri Nets HIS 2009: 2009 NINTH INTERNATIONAL CONFERENCE ON HYBRID INTELLIGENT SYSTEMS, VOL 2, PROCEEDINGS, 2009, : 298 - 303
- [40] The Research of Manufacturing Execution System Modeling Based On Colored Petri Nets 2008 2ND INTERNATIONAL SYMPOSIUM ON SYSTEMS AND CONTROL IN AEROSPACE AND ASTRONAUTICS, VOLS 1 AND 2, 2008, : 1163 - 1166