共 50 条
- [1] Cooperation protocol of autonomous decentralized systems using Petri nets ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1997, 80 (09): : 81 - 88
- [2] World Model for Testing Autonomous Systems Using Petri Nets 2016 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2016, : 65 - 69
- [3] Monitoring and Debugging Distributed Autonomous Systems using Petri Nets WMSCI 2011: 15TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, 2011, : 216 - 221
- [4] Petri nets and autonomous systems: a case study 2009 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (EFTA 2009), 2009,
- [7] Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (06): : 1477 - 1485
- [10] Modelization of a communication protocol for CSCW systems using coloured Petri nets COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, PROCEEDINGS, 2005, 3675 : 14 - 21