Web-based interfaces for simulation of coloured Petri net models

2001 ◽  
Vol 3 (4) ◽  
pp. 405-416 ◽  
Author(s):  
Bo Lindstrom
Keyword(s):  
Petri Net ◽  
Web Based ◽  
Coloured Petri Net

scholarly journals Heterogeneous Hierarchical Coloured Petri Net Software/Hardware Architectural View of Embedded System based on System Behaviours

2013 ◽  
Vol 11 ◽  
pp. 925-932 ◽  
Author(s):  
Mahdi Sahlabadi ◽  
Ravie Chandren Muniyandi ◽  
Zarina Shukor ◽  
Amirhossein Sahlabadi
Keyword(s):  
Embedded System ◽  
Petri Net ◽  
Coloured Petri Net

Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes

2013 ◽  
Vol 33 ◽  
pp. 167-195 ◽  
Author(s):  
Fedja Netjasov ◽  
Andrija Vidosavljevic ◽  
Vojin Tosic ◽  
Mariken H.C. Everdij ◽  
Henk A.P. Blom
Keyword(s):  
Petri Net ◽  
Safety Assessment ◽  
Coloured Petri Net
Sign in / Sign up

Export Citation Format

Share Document