scholarly journals Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

2007 ◽  
Author(s):  
Joao M. Fernandes ◽  
Simon Tjell ◽  
Jens Baek Jorgensen ◽  
Oscar Ribeiro
Keyword(s):  
Petri Net ◽  
Use Cases ◽  
Tool Support ◽  
Sequence Diagrams ◽  
Coloured Petri Net ◽  
Uml 2.0

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