共 50 条
- [31] Modeling with colored timed object-oriented Petri nets for automated manufacturing systems [J]. Computers and Industrial Engineering, 1998, 34 (02): : 463 - 480
- [32] Modeling and Evaluation of Service Composition in Commercial Multiclouds Using Timed Colored Petri Nets [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (03): : 947 - 961
- [33] Reliability, Availability, and Maintainability Assessment of a Mechatronic System Based on Timed Colored Petri Nets [J]. APPLIED SCIENCES-BASEL, 2024, 14 (11):
- [35] Agent-oriented Timed Colored Petri Nets Modeling Method and Its Application [J]. 2010 2ND INTERNATIONAL ASIA CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS (CAR 2010), VOL 2, 2010, : 462 - 466
- [36] Modeling and analysis of reliable Contract Net Protocol Using Timed Colored Petri Nets [J]. 2013 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2013), 2013, : 17 - 24
- [37] Affective-Cognition Modeling of Product Ecosystems Using Timed Colored Petri Nets [J]. 2009 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1 AND 2, PROCEEDINGS, 2009, : 1689 - +
- [40] A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (102): : 125 - 140