Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets

Applications and Theory of Petri Nets 2005 - Lecture Notes in Computer Science ◽

10.1007/11494744_23 ◽

2005 ◽

pp. 403-422

Author(s):

Lisa Wells ◽

Thomas Maier

Keyword(s):

Petri Nets ◽

Frequency Converter ◽

Coloured Petri Nets ◽

Software Safety ◽

Safety Requirements

Download Full-text

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

PsycEXTRA Dataset ◽

10.1037/e557102013-034 ◽

2012 ◽

Cited By ~ 1

Author(s):

Hardy Smieszek

Keyword(s):

Petri Nets ◽

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):

Petri Nets ◽

Coloured Petri Nets ◽

Wall Panel

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 ◽

Cited By ~ 7

Author(s):

L. Rodriguez ◽

E. Garcia ◽

F. Morant ◽

A. Correcher ◽

E. Quiles

Keyword(s):

Fault Diagnosis ◽

Wind Turbine ◽

Petri Nets ◽

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):

Petri Nets ◽

Coloured Petri Nets ◽

Failure Detectors ◽

Consensus Protocol ◽

The Impact

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):

Petri Nets ◽

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 ◽

Cited By ~ 11

Author(s):

K.-S. Chin ◽

X. Zu ◽

C. K. Mok ◽

H. Y. Tam

Keyword(s):

Petri Nets ◽

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 ◽

Cited By ~ 2

Author(s):

Eike Best ◽

Thomas Thielke

Keyword(s):

Petri Nets ◽

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):

Petri Nets ◽

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 ◽

Petri Nets ◽

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 ◽

Cited By ~ 1

Author(s):

Giang Trinh ◽

Khanh Le ◽

Tam Bang ◽

Quan Tram ◽

Thang Bui ◽

...

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Petri Nets ◽

Wireless Sensor ◽

Coloured Petri Nets ◽

Congestion Detection

Download Full-text

Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets

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

Simulating Wood-framing Wall Panels Production with Timed Coloured Petri Nets

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

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

Modeling Emergency Response Plans with Coloured Petri Nets

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

Refinement of coloured petri nets

Functional Languages in Design of Coloured Petri Nets Models

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

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

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