Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets

Transactions on Petri Nets and Other Models of Concurrency I - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89287-8_2 ◽

2008 ◽

pp. 19-34 ◽

Cited By ~ 3

Author(s):

Lars Michael Kristensen ◽

Kurt Jensen

Keyword(s):

Petri Nets ◽

Concurrent Systems ◽

Coloured Petri Nets

Download Full-text

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-007-0038-x ◽

2007 ◽

Vol 9 (3-4) ◽

pp. 213-254 ◽

Cited By ~ 572

Author(s):

Kurt Jensen ◽

Lars Michael Kristensen ◽

Lisa Wells

Keyword(s):

Petri Nets ◽

Concurrent Systems ◽

Coloured Petri Nets ◽

Cpn Tools

Download Full-text

Test suite generation methods for concurrent systems based on coloured Petri nets

Proceedings 1995 Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1995.496973 ◽

2002 ◽

Cited By ~ 7

Author(s):

H. Watanabe ◽

T. Kudoh

Keyword(s):

Petri Nets ◽

Concurrent Systems ◽

Test Suite ◽

Coloured Petri Nets ◽

Test Suite Generation

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

Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

Test suite generation methods for concurrent systems based on 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

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