Juan-Ignacio Latorre-Biel
Department of Mechanical Energetic and Materials Engineering, Public University of Navarre, Spain
Emilio Jiménez-Macías
High Technical School of Industrial Engineering, University of La Rioja, Spain
Juan Carlos Sáenz-Díez
High Technical School of Industrial Engineering, University of La Rioja, Spain
Eduardo Martinez-Cámara
High Technical School of Industrial Engineering, University of La Rioja, Spain
Download article
http://dx.doi.org/10.3384/ecp17142632Published in: Proceedings of The 9th EUROSIM Congress on Modelling and Simulation, EUROSIM 2016, The 57th SIMS Conference on Simulation and Modelling SIMS 2016
Linköping Electronic Conference Proceedings 142:92, p. 632-638
Published: 2018-12-19
ISBN: 978-91-7685-399-3
ISSN: 1650-3686 (print), 1650-3740 (online)
Petri nets constitute a modeling paradigm able to describe discrete event systems characterized by features such as parallelism, precedence, concurrence, and synchronization. Petri nets are applied extensively and successfully for modeling systems belonging to a broad range of fields. In this context, transformation of Petri net models constitutes a process with diverse applications, such as simplifying the model for developing structural analysis or for performance evaluation, as well as comparing different models, describing nets whose structure changes over time, or merging models with exclusive entities. The transformation of the structure of a Petri net can be carried out from different points of view. In this paper, this transformation is developed by means of matrix operations. A list of matrix operations is presented and the preservation of some significant properties of the Petri net is discussed as a practical tool for transforming Petri net models by operations in the incidence matrices.
Petri nets, model transformation, matrix-based operations, alternative structural configuration, equivalence class
