Transforming state tables to Coloured Petri nets for automatic verification of internet protocols

2011 Eighth International Joint Conference on Computer Science and Software Engineering (JCSSE) ◽

10.1109/jcsse.2011.5930096 ◽

2011 ◽

Author(s):

San Choosang ◽

Steven Gordon

Keyword(s):

Automatic Verification ◽

Coloured Petri Nets ◽

Internet Protocols

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

Modelling and Congestion Detection of Wireless Sensor Networks: A Concurrent-based Approach using Coloured Petri Nets

International Journal of Applied Information Systems ◽

10.5120/ijais2016451629 ◽

2016 ◽

Vol 11 (7) ◽

pp. 1-9 ◽

Author(s):

Giang Trinh ◽

Khanh Le ◽

Tam Bang ◽

Quan Tram ◽

Thang Bui ◽

...

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Wireless Sensor ◽

Coloured Petri Nets ◽

Congestion Detection

Download Full-text