共 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
- [46] Knowledge aggregation and navigation high-level Petri nets-based in e-learning [J]. 2002 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-4, PROCEEDINGS, 2002, : 420 - 425
- [48] 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
- [50] OPENET: Ontology-based engine for high-level Petri nets [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2010, 37 (09) : 6493 - 6509