Safety Requirement Verification of Train-centric CBTC by Integrating STPA with Coloured Petri Net

2021 ◽  
Vol 1 (1) ◽  
pp. 1
Author(s):  
Junting Lin ◽  
Qian Xu
Keyword(s):  
Petri Net ◽  
Safety Requirement ◽  
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