共 50 条
- [42] AN OBJECT-ORIENTED APPROACH TO HIGH-LEVEL PETRI NETS MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 213 - 220
- [43] High-Level Petri Nets Modules for Embedded Controllers Design PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2015, : 876 - 882
- [44] Verification of distributed systems modelled by high-level Petri nets PAR ELEC 2002: INTERNATIONAL CONFERENCE ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING, 2002, : 61 - 66
- [45] A test case generator for the validation of high-level Petri nets ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 327 - 332
- [46] Design of intelligent mechatronical systems with high-level Petri nets PROCEEDINGS OF THE 2003 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS (AIM 2003), VOLS 1 AND 2, 2003, : 217 - 222
- [48] Finite symbolic reachability graphs for high-level Petri nets ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 150 - 159
- [50] Towards correct distributed simulation of high-level Petri nets with fine-grained partitioning Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3358 : 64 - 74