共 50 条
- [31] Material flow and control sequence specification of flexible production systems using coloured Petri nets [J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1998, 14 (10): : 760 - 774
- [32] Stability verification of Proxy Firewall using Coloured Petri Nets [J]. SAM'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT, VOLS 1 AND 2, 2003, : 352 - 358
- [33] Faster Simulation of (Coloured) Petri Nets Using Parallel Computing [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 : 37 - 56
- [34] Modelling of AS/RS Using Hierarchical and Timed Coloured Petri nets [J]. 2014 23RD INTERNATIONAL CONFERENCE ON ROBOTICS IN ALPE-ADRIA-DANUBE REGION (RAAD), 2014,
- [35] MODELING OF COLLABORATIVE PRODUCTION SYSTEMS USING COLOURED PETRI NETS [J]. PECCS 2011: PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON PERVASIVE AND EMBEDDED COMPUTING AND COMMUNICATION SYSTEMS, 2011, : 257 - 260
- [36] Modelling Assistive Technology Systems Using Coloured Petri Nets [J]. ASSISTIVE TECHNOLOGY FROM ADAPTED EQUIPMENT TO INCLUSIVE ENVIRONMENTS, 2009, 25 : 754 - 758
- [37] Formalisation and simulation of operating rules using coloured Petri nets [J]. COMPUTERS IN RAILWAYS X: COMPUTER SYSTEM DESIGN AND OPERATION IN THE RAILWAY AND OTHER TRANSIT SYSTEMS, 2006, 88 : 341 - +
- [38] Modelling Railway Interlocking Tables Using Coloured Petri Nets [J]. COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2010, 6116 : 137 - 151
- [39] Verifying Parallel Algorithms and Programs Using Coloured Petri Nets [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VI, 2012, 7400 : 146 - 168
- [40] Server Consolidation Using Coloured Petri Nets and CPN Tools [J]. 2015 6TH INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION SYSTEMS (ICICS), 2015, : 32 - 37