共 50 条
- [1] World Model for Testing Autonomous Systems Using Petri Nets 2016 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2016, : 65 - 69
- [2] 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
- [5] Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (06): : 1477 - 1485
- [7] Toward developing a Decentralized Railway Signalling System Using Petri Nets 2008 IEEE CONFERENCE ON ROBOTICS, AUTOMATION, AND MECHATRONICS, VOLS 1 AND 2, 2008, : 1038 - 1042
- [8] A Remark on the Decentralized Diagnosis of Labeled Petri Nets IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (11): : 1549 - 1549
- [9] Decentralized structural control approach for Petri nets CONTROL AND CYBERNETICS, 2007, 36 (01): : 143 - 159
- [10] Validation of information systems using Petri nets ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 284 - +