共 50 条
- [21] Modelling and analysis of an integrated automated guided vehicle system using coloured Petri net WORLD CONGRESS ON ENGINEERING 2007, VOLS 1 AND 2, 2007, : 1038 - +
- [22] Research on Modelling and Simulation of Enterprises Logistics System Based on Timed Coloured Petri Net 2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS, VOLS 1-6, 2008, : 2914 - +
- [23] Parameterised Coloured Petri Net Channel Models TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 71 - +
- [24] A coloured Petri net approach to protocol verification LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 210 - 290
- [25] BUILDING AN EFFICIENT COLOURED PETRI NET SIMULATOR INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 153 - 158
- [26] Coverage Analysis of Net Inscriptions in Coloured Petri Net Models VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 68 - 83
- [27] Container-based Coloured Petri-Net Co-simulation Framework 2020 IEEE INTERNATIONAL CONFERENCE ON BIG DATA AND SMART COMPUTING (BIGCOMP 2020), 2020, : 393 - 395
- [29] A Coloured Petri Net formalisation for a UML-based notation applied to cooperative system modelling INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION AND VERIFICATION, 2002, 2545 : 16 - 28
- [30] Modelling and analysis of multiple cluster tools system with random failures using coloured Petri net The International Journal of Advanced Manufacturing Technology, 2010, 50 : 897 - 906