共 50 条
- [1] Model checking in object-oriented Petri nets 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4977 - 4982
- [3] THE STUDY OF A FMS MODEL BASED ON OBJECT-ORIENTED PETRI NETS PROCEEDINGS OF THE 38TH INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, 2008, : 934 - 939
- [4] Improvements in model checking for Object-Oriented Petri Nets ISAS/CITSA 2004: INTERNATIONAL CONFERENCE ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS AND APPLICATIONS AND 10TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS ANALYSIS AND SYNTHESIS, VOL 3, PROCEEDINGS, 2004, : 269 - 274
- [6] Object-Oriented real-time database design based on Petri Nets 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 202 - 207
- [7] Constraint programming with object-oriented Petri nets 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 289 - 294
- [8] Object-oriented Petri nets, their simulation, and analysis 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 256 - 261
- [9] Object-oriented Petri nets, their simulation, and analysis 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 262 - 267
- [10] Encapsulation in an object-oriented notation based on modular Petri nets Modelling and Simulation 2003, 2003, : 508 - 512