共 50 条
- [1] A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems 2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 347 - 354
- [2] A Systematic Approach to the Petri Net Based Specification of Concurrent Systems Real-Time Systems, 1997, 13 : 219 - 236
- [3] Diagnosability of discrete event systems -: A Petri Net based approach 2004 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1- 5, PROCEEDINGS, 2004, : 541 - 546
- [7] Verification of embedded systems using a Petri net based representation 13TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, PROCEEDINGS, 2000, : 149 - 155
- [8] Information systems design using transaction based Petri net 8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL X, PROCEEDINGS: SYSTEMICS AND INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS, 2004, : 135 - 140