×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [cpn tools]
Home >
cpn tools
YAWL - Tokyo 2008 - Petia Wohed
3.888 views
Christian gierds 2013-06-20-c ai-se
118 views
Kurt Jensen Lars M. Kristensen 1 Coloured Petri Nets Department of Computer Science Coloured Petri Nets Modelling and Validation of Concurrent Systems.
217 views
Abel Gómez, José Á. Carsí, Artur Boronat, Isidro Ramos
[email protected]
Technical University of Valencia. Departamento de Sistemas Informáticos y Computación.
217 views
Formal verification of safety communication protocol for ETCS Chen Lijie 08.06.2011 Introduction Safety communication protocol in ETCS CPN model.
223 views
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.
214 views
DEVELOPMENT OF MOBILE SURFACE WATER FILTRATION SYSTEM THROUGH SIMULATION USING COLOURED PETRI NET (C
215 views