共 50 条
- [41] Verification of distributed systems modelled by high-level Petri nets [J]. PAR ELEC 2002: INTERNATIONAL CONFERENCE ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING, 2002, : 61 - 66
- [42] A test case generator for the validation of high-level Petri nets [J]. ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 327 - 332
- [43] Finite symbolic reachability graphs for high-level Petri nets [J]. ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 150 - 159
- [44] A methodological approach for using high-level Petri Nets to model the immune system response [J]. BMC BIOINFORMATICS, 2016, 17
- [46] A methodological approach for using high-level Petri Nets to model the immune system response [J]. BMC Bioinformatics, 17
- [50] High-Level Petri Nets with Object-Orientation - A High-Level Petri Net Model Allowing Multiple Inheritance and Multiple Polymorphism [J]. INTELLIGENT DISTRIBUTED COMPUTING IV, 2010, 315 : 219 - 228