共 50 条
- [41] Improvements in model checking for Object-Oriented Petri Nets [J]. 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
- [42] Modularization of Petri Nets using object-oriented concepts [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 84 - 89
- [43] Approaches to integrate Petri nets and object-oriented concepts [J]. WIRTSCHAFTSINFORMATIK, 2000, 42 (01): : 36 - +
- [44] On the use of coloured Petri nets for object-oriented design [J]. APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 117 - 136
- [46] Mesoscopic Modeling of Airport Surface by Object Petri Nets [J]. 2015 INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2015, : 298 - 303
- [47] Modeling interorganizational clinical processes by object Petri nets [J]. WIRTSCHAFTSINFORMATIK, 2005, 47 (03): : 203 - 210
- [48] Railway Modeling with Object Enhanced Time Petri Nets [J]. 2018 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR), 2018,
- [49] From Coloured Petri Nets to Object Petri Nets [J]. APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
- [50] A Novel Petri Nets-based Modeling for the correctness of interactive Business Process Models [J]. VISION 2020: SUSTAINABLE ECONOMIC DEVELOPMENT AND APPLICATION OF INNOVATION MANAGEMENT, 2018, : 2392 - 2401