Formalizing Railway Network Using Hierarchical Timed Coloured Petri Nets

Proceedings of the 2019 7th International Conference on Information Technology: IoT and Smart City ◽

10.1145/3377170.3377221 ◽

2019 ◽

Author(s):

Lalita Thampibal ◽

Wiwat Vatanawood

Keyword(s):

Coloured Petri Nets ◽

Railway Network

Download Full-text

Railway Network Modeling Using Building Block of Timed Coloured Petri Nets

2018 IEEE 4th International Conference on Computer and Communications (ICCC) ◽

10.1109/compcomm.2018.8780751 ◽

2018 ◽

Author(s):

Nitipat Songwiroj ◽

Wiwat Vatanawood ◽

Somsak Vanit-Anunchai

Keyword(s):

Building Block ◽

Network Modeling ◽

Coloured Petri Nets ◽

Railway Network

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

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

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

Refinement of coloured petri nets

Fundamentals of Computation Theory - Lecture Notes in Computer Science ◽

10.1007/bfb0036175 ◽

1997 ◽

pp. 105-116 ◽

Author(s):

Eike Best ◽

Thomas Thielke

Keyword(s):

Coloured Petri Nets

Download Full-text

Functional Languages in Design of Coloured Petri Nets Models

Central European Functional Programming School - Lecture Notes in Computer Science ◽

10.1007/978-3-030-28346-9_6 ◽

2019 ◽

pp. 161-206

Author(s):

Štefan Korečko

Keyword(s):

Coloured Petri Nets ◽

Functional Languages

Download Full-text

Improving the Correctness of Medical Diagnostics Based on Machine Learning With Coloured Petri Nets

IEEE Access ◽

10.1109/access.2021.3121092 ◽

2021 ◽

Vol 9 ◽

pp. 143434-143447

Author(s):

Muhammad Nauman ◽

Nadeem Akhtar ◽

Omar H. Alhazmi ◽

Mustafa Hameed ◽

Habib Ullah ◽

...

Keyword(s):

Machine Learning ◽

Medical Diagnostics ◽

Coloured Petri Nets

Download Full-text