Title: Modular construction of compact Petri net models

Authors: Juan Ignacio Latorre-Biel; Emilio Jiménez-Macías; Jorge Luis García-Alcaraz; Juan Carlos Sáenz-Díez Muro; Julio Blanco-Fernandez; Mercedes Pérez De La Parte

Addresses: Public University of Navarre, Tudela, Navarre, Spain ' University of La Rioja, Logroño, Spain ' Autonomous University of Ciudad Juarez, Ciudad Juarez, Mexico ' University of La Rioja, Logroño, Spain ' University of La Rioja, Logroño, Spain ' University of La Rioja, Logroño, Spain

Abstract: The use of modelling formalisms for the design of discrete event systems presents many advantages, such as the possibility of structural analysis of the model or performance evaluation. However, the difficulty of the process to obtain an appropriate model of the system requires the use of methodologies to ease the work of the designers. In this paper, two main subjects are discussed. On the one hand, the modular construction of Petri nets alleviates the design process by the use of blocks that can be assembled to build up a complete Petri net model. On the other hand, the development of decision support systems may require the assessment of the performance and properties of complete models obtained from different combinations of modular blocks. The formalism of the alternatives aggregation Petri net may help in the development of compact and efficient models that may reduce the use of scarce computer resources.

Keywords: modular Petri nets; alternatives aggregation Petri nets; decision support systems; performance evaluation.

DOI: 10.1504/IJSPM.2017.089635

International Journal of Simulation and Process Modelling, 2017 Vol.12 No.6, pp.515 - 524

Received: 30 Apr 2016
Accepted: 16 Nov 2016

Published online: 04 Feb 2018 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article