共 50 条
- [1] An object-oriented modular Petri Nets for modeling service oriented applications [J]. COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS, 2007, : 479 - +
- [2] An Object-Oriented Modeling Framework for Petri Nets and Related Models [J]. 2009 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2, 2009, : 546 - +
- [3] Modeling and Analysis of CPS Availability Based on The Object-oriented Timed Petri Nets [J]. 2018 37TH CHINESE CONTROL CONFERENCE (CCC), 2018, : 6172 - 6177
- [4] Modeling a distributed railway interlocking system with object-oriented Petri nets [J]. COMPUTERS IN RAILWAYS X: COMPUTER SYSTEM DESIGN AND OPERATION IN THE RAILWAY AND OTHER TRANSIT SYSTEMS, 2006, 88 : 309 - +
- [5] An object-oriented modeling approach based on entity-relationship diagrams and Petri nets [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 1347 - 1352
- [6] Encapsulation in an object-oriented notation based on modular Petri nets [J]. Modelling and Simulation 2003, 2003, : 508 - 512
- [7] Object-oriented Petri nets, their simulation, and analysis [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 262 - 267
- [9] Model checking in object-oriented Petri nets [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4977 - 4982
- [10] Constraint programming with object-oriented Petri nets [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 289 - 294