Konferensartikel

Transformation of Petri net Models by Matrix Operations

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

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp17142632

Ingår i: 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, s. 632-638

Visa mer +

Publicerad: 2018-12-19

ISBN: 978-91-7685-399-3

ISSN: 1650-3686 (tryckt), 1650-3740 (online)

Abstract

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.

Nyckelord

Petri nets, model transformation, matrix-based operations, alternative structural configuration, equivalence class

Referenser

Inga referenser tillgängliga

Citeringar i Crossref