共 50 条
- [32] Modelling and simulating a Thai railway signalling system using Coloured Petri Nets [J]. International Journal on Software Tools for Technology Transfer, 2018, 20 : 243 - 262
- [33] Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2022), 2022, 13288 : 195 - 210
- [34] Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets [J]. COMPUTER JOURNAL, 2016, 59 (10): : 1563 - 1580
- [36] Modelling and analysing the Contract Net Protocol - extension using Coloured Petri Nets [J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008, 2008, 5048 : 169 - 184
- [37] Modelling of secondary cooling system with a distributed architecture, using Coloured Petri nets [J]. REVISTA FACULTAD DE INGENIERIA-UNIVERSIDAD DE ANTIOQUIA, 2019, (91): : 83 - 94
- [38] Modeling control systems with coloured Petri nets using global variables [J]. ELECTRICAL AND CONTROL TECHNOLOGIES, PROCEEDINGS, 2006, : 306 - 309
- [39] Modelization of a communication protocol for CSCW systems using coloured Petri nets [J]. COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, PROCEEDINGS, 2005, 3675 : 14 - 21
- [40] Query evaluation of heterogeneous multidatabase systems using coloured Petri nets [J]. INFORMATION-AN INTERNATIONAL INTERDISCIPLINARY JOURNAL, 2007, 10 (01): : 77 - 94