共 50 条
- [1] Using Coloured Petri Nets to model and verify telecommunications systems [J]. COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2008, 5010 : 360 - 371
- [2] Modeling and optimization of runway traffic flow using coloured Petri nets [J]. 2005 INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), VOLS 1 AND 2, 2005, : 881 - 886
- [3] Performance analysis using coloured Petri nets [J]. MASCOTS 2002: 10TH IEEE INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATIONS SYSTEMS, PROCEEDINGS, 2002, : 217 - 221
- [4] From Coloured Petri Nets to Object Petri Nets [J]. APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
- [5] Experience using Coloured Petri Nets to Model Railway Interlocking Tables [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (156): : 17 - 28
- [6] Refinement of coloured Petri nets [J]. FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 105 - 116
- [7] On the abstraction of Coloured Petri Nets [J]. APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 42 - 61
- [8] Coloured Batches Petri Nets [J]. MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 227 - 232
- [9] Formal Model of Random Walk Mobility Model for WMN using Coloured Petri Nets [J]. PROCEEDINGS OF 2014 11TH INTERNATIONAL BHURBAN CONFERENCE ON APPLIED SCIENCES & TECHNOLOGY (IBCAST), 2014, : 436 - 444
- [10] Formal Modelling and Verification of a Component Model using Coloured Petri Nets and Model Checking [J]. APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1427 - +