Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0006731806680679 ◽

2018 ◽

Cited By ~ 1

Author(s):

João António Custódio Soares ◽

Bruno Lima ◽

João Pascoal Faria

Keyword(s):

Petri Nets ◽

Model Transformation ◽

Coloured Petri Nets ◽

Sequence Diagrams

Download Full-text

Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets

Innovations in Systems and Software Engineering ◽

10.1007/s11334-008-0054-3 ◽

2008 ◽

Vol 4 (3) ◽

pp. 233-240 ◽

Cited By ~ 2

Author(s):

Kristian Bisgaard Lassen ◽

Simon Tjell

Keyword(s):

Petri Nets ◽

Reactive Systems ◽

Requirements Analysis ◽

Coloured Petri Nets ◽

Sequence Diagrams ◽

Model Based

Download Full-text

Model transformation from coloured Petri nets with prioritized transitions to B machines

2015 International Conference on Industrial Engineering and Systems Management (IESM) ◽

10.1109/iesm.2015.7380131 ◽

2015 ◽

Author(s):

Pengfei Sun ◽

Philippe Bon ◽

Simon Collart-Dutilleul

Keyword(s):

Petri Nets ◽

Model Transformation ◽

Coloured Petri Nets

Download Full-text

Formal Transformation from Sequence Diagrams to Coloured Petri Nets

2010 Asia Pacific Software Engineering Conference ◽

10.1109/apsec.2010.33 ◽

2010 ◽

Cited By ~ 14

Author(s):

Juliana Bowles ◽

Dulani Meedeniya

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Sequence Diagrams

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

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets

Model transformation from coloured Petri nets with prioritized transitions to B machines

Formal Transformation from Sequence Diagrams to 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

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