The modelling and analysis of IEEE 802.6's configuration control protocol with coloured petri nets

Application of Petri Nets to Communication Networks - Lecture Notes in Computer Science ◽

10.1007/bfb0097773 ◽

1999 ◽

pp. 69-92 ◽

Author(s):

Geoffrey Wheeler

Keyword(s):

Coloured Petri Nets ◽

Control Protocol ◽

Configuration Control

Download Full-text

Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2009.06.021 ◽

2009 ◽

Vol 242 (2) ◽

pp. 31-42 ◽

Author(s):

Mohammad Abdollahi Azgomi ◽

Ali Khalili

Keyword(s):

Performance Evaluation ◽

Access Control ◽

Medium Access Control ◽

Medium Access Control Protocol ◽

Coloured Petri Nets ◽

Medium Access ◽

Control Protocol

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