Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification ◽

10.1007/978-3-319-45943-1_15 ◽

2016 ◽

pp. 214-230 ◽

Author(s):

Somsak Vanit-Anunchai

Keyword(s):

Coloured Petri Nets ◽

Signalling System ◽

Railway Signalling

Download Full-text

Modelling and simulating a Thai railway signalling system using Coloured Petri Nets

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-018-0482-9 ◽

2018 ◽

Vol 20 (3) ◽

pp. 243-262 ◽

Author(s):

Somsak Vanit-Anunchai

Keyword(s):

Coloured Petri Nets ◽

Signalling System ◽

Railway Signalling

Download Full-text

Toward developing a Decentralized Railway Signalling System Using Petri Nets

2008 IEEE Conference on Robotics, Automation and Mechatronics ◽

10.1109/ramech.2008.4681511 ◽

2008 ◽

Author(s):

Xinhong Hei ◽

Sei Takahashi ◽

Nakamura Hideo

Keyword(s):

Signalling System ◽

Railway Signalling

Download Full-text

Modeling behavior and performance of air traffic controllers using coloured petri nets

PsycEXTRA Dataset ◽

10.1037/e557102013-034 ◽

2012 ◽

Author(s):

Hardy Smieszek

Keyword(s):

Air Traffic ◽

Coloured Petri Nets ◽

Air Traffic Controllers ◽

And Performance ◽

Modeling Behavior

Download Full-text

A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v5i12.290295 ◽

2017 ◽

Vol 5 (12) ◽

pp. 290-295

Author(s):

R. Barik ◽

◽

◽

◽

◽

...

Keyword(s):

Collision Avoidance ◽

Petri Net ◽

Signalling System ◽

Railway Signalling

Download Full-text

Simulating Wood-framing Wall Panels Production with Timed Coloured Petri Nets

10.22260/isarc2019/0137 ◽

2019 ◽

Author(s):

Fabiano Correa

Keyword(s):

Coloured Petri Nets ◽

Download Full-text

137 Providing of a railway signalling system incorporating geographic data

Control Engineering Practice ◽

10.1016/0967-0661(93)91768-r ◽

1993 ◽

Vol 1 (2) ◽

pp. 399

Keyword(s):

Signalling System ◽

Geographic Data ◽

Railway Signalling

Download Full-text

Application of latent nestling method using Coloured Petri Nets for the Fault Diagnosis in the wind turbine subsets

2008 IEEE International Conference on Emerging Technologies and Factory Automation ◽

10.1109/etfa.2008.4638486 ◽

2008 ◽

Author(s):

L. Rodriguez ◽

E. Garcia ◽

F. Morant ◽

A. Correcher ◽

E. Quiles

Keyword(s):

Fault Diagnosis ◽

Wind Turbine ◽

Coloured Petri Nets

Download Full-text

Using coloured Petri nets to evaluate the impact of the QoS of failure detectors in the performance of a consensus protocol

IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2002.1176039 ◽

2003 ◽

Author(s):

J.C.A. de Figueiredo ◽

L.M.R. Sampaio ◽

F.V. Brasileiro

Keyword(s):

Coloured Petri Nets ◽

Failure Detectors ◽

Consensus Protocol ◽

Download Full-text

Modeling Emergency Response Plans with Coloured Petri Nets

Critical Information Infrastructures Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41485-5_10 ◽

2013 ◽

pp. 106-117

Author(s):

Manuel Cheminod ◽

Ivan Cibrario Bertolotti ◽

Luca Durante ◽

Adriano Valenzano

Keyword(s):

Emergency Response ◽

Coloured Petri Nets ◽

Modeling Emergency

Download Full-text

Integrated Integration Definition Language 0 (IDEF) and coloured Petri nets (CPN) modelling and simulation tool: a study on mould-making processes

International Journal of Production Research ◽

10.1080/00207540500456161 ◽

2006 ◽

Vol 44 (16) ◽

pp. 3179-3205 ◽

Author(s):

K.-S. Chin ◽

X. Zu ◽

C. K. Mok ◽

H. Y. Tam

Keyword(s):

Modelling And Simulation ◽

Coloured Petri Nets ◽

Simulation Tool

Download Full-text