YAWL - Tokyo 2008 - Petia Wohed
Christian gierds 2013-06-20-c ai-se
Kurt Jensen Lars M. Kristensen 1 Coloured Petri Nets Department of Computer Science Coloured Petri Nets Modelling and Validation of Concurrent Systems.
Abel Gómez, José Á. Carsí, Artur Boronat, Isidro Ramos [email protected] Technical University of Valencia. Departamento de Sistemas Informáticos y Computación.
Formal verification of safety communication protocol for ETCS Chen Lijie 08.06.2011 Introduction Safety communication protocol in ETCS CPN model.
1 Using Coloured Petri Nets to Simulate DoS-resistant protocols 7 th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools 2006 Suratose.
DEVELOPMENT OF MOBILE SURFACE WATER FILTRATION SYSTEM THROUGH SIMULATION USING COLOURED PETRI NET (C
