共 50 条
- [21] On the use of coloured Petri nets for object-oriented design APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 117 - 136
- [23] Partial-order reduction in model checking object-oriented Petri nets COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003, 2003, 2809 : 265 - 278
- [24] An object-oriented modular Petri Nets for modeling service oriented applications COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS, 2007, : 479 - +
- [25] Hierarchical Object-Oriented Petri Net Modeling Method based on Ontology ICICSE: 2008 INTERNATIONAL CONFERENCE ON INTERNET COMPUTING IN SCIENCE AND ENGINEERING, PROCEEDINGS, 2008, : 553 - 556
- [26] Modeling and Analysis of CPS Availability Based on The Object-oriented Timed Petri Nets 2018 37TH CHINESE CONTROL CONFERENCE (CCC), 2018, : 6172 - 6177
- [27] Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 841 - 848
- [28] Specification of industrial digital controllers with Object-Oriented Petri Nets ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, 1997, : 78 - 83
- [29] AN OBJECT-ORIENTED APPROACH TO HIGH-LEVEL PETRI NETS MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 213 - 220
- [30] Generating coloured Petri nets of concurrent object-oriented programs Modelling and Simulation 2004, 2004, : 289 - 293