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.
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: 23 Jan 2018 *