Integrating timed coloured Petri net models in the SIMIO simulation environment

Authors:
Miguel Mujica;Miquel Angel Piera
Affiliations:
Autonomous University of Barcelona;Autonomous University of Barcelona
Venue:
Proceedings of the 2011 Summer Computer Simulation Conference
Year:
2011

Citing 4
Cited 0

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
SIMIO: a new simulation system based on intelligent objects

Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Coloured Petri Nets: Modelling and Validation of Concurrent Systems
A compact timed state space approach for the analysis of manufacturing systems: key algorithmic improvements

International Journal of Computer Integrated Manufacturing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The coloured Petri net formalism has been widely used by scientific community to perform not only research and behavioural analysis of models but also as a simulation tool to carry out systems' analysis. Its characteristics allow a better understanding of the causal relationships present in systems. On the other hand discrete event system simulation software has evolved in order to reduce the efforts needed in simulation projects; the developers have improved the developing paradigm, graphical interface and analysis tools among other aspects. Unfortunately when dealing with big projects the simulation paradigms hinder the understanding of the causal relationships of systems. In this paper a way to integrate the coloured Petri net modelling formalism with the SIMIO simulation software is presented in order to overcome this problem.