Petri Net Models Optimized for Simulation

Petri nets and simulation are a modeling paradigm and a tool, respectively, which may be successfully combined for diverse applications, such as performance evaluation, decision support, or training on complex systems. Simulation may require significant computer resources; hence, in this chapter, two Petri net-based formalisms are analyzed for profiting from their respective advantages for modeling, simulation, and decision-making support: a set of alternative Petri nets and a compound Petri net. These formalisms, as well as the transformation algorithms between them, are detailed and an illustrative example is provided. Among the main advantages of these formalisms, their intuitive application for modeling discrete event systems in the process of being designed, as well as the compactness that may present the resulting model, in the case of a compound Petri net, leading to efficient decision making, can be mentioned.

[1]  Emilio Jiménez-Macías,et al.  Sequence of decisions on discrete event systems modeled by Petri nets with structural alternative configurations , 2014 .

[2]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

[3]  E. Martínez,et al.  Simulation Model of a Production Facility of Agaricus bisporus Mycelium for Decision-Making Support , 2017 .

[4]  Dmitry A. Zaitsev,et al.  A Parametric Colored Petri Net Model of a Switched Network , 2011, Int. J. Commun. Netw. Syst. Sci..

[5]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[6]  J. Blanco-Fernández,et al.  Decision Support System, Based on the Paradigm of the Petri Nets, for the Design and Operation of a Dairy Plant , 2015 .

[7]  René David,et al.  Bases of Petri Nets , 2010 .

[8]  Manuel Silva Suárez,et al.  Petri Nets and Manufacturing Systems: An Examples-Driven Tour , 2003, Lectures on Concurrency and Petri Nets.

[9]  Agostino G. Bruzzone,et al.  Simulation-Based Military Training , 2017 .

[10]  Miquel Angel Piera Eroles,et al.  A compact timed state space approach for the analysis of manufacturing systems: key algorithmic improvements , 2011, Int. J. Comput. Integr. Manuf..

[11]  Miquel Angel Piera Eroles,et al.  Coloured Petri net scheduling models: Timed state space exploration shortages , 2011, Math. Comput. Simul..

[12]  Mercedes Pérez de la Parte,et al.  Equivalent and Efficient Optimization Models for an Industrial Discrete Event System with Alternative Structural Configurations , 2018, Complex..

[13]  J. C. Saenz-Díez,et al.  Compound Petri nets and alternatives aggregation Petri nets: Two formalisms for decision-making support , 2016 .

[14]  Miquel Angel Piera,et al.  A coloured Petri net-based hybrid heuristic search approach to simultaneous scheduling of machines and automated guided vehicles , 2016 .

[15]  Mercedes Pérez de la Parte,et al.  The optimization problem based on alternatives aggregation Petri nets as models for industrial discrete event systems , 2013, Simul..

[16]  Manuel Silva,et al.  Introducing Petri nets , 1993 .

[17]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[18]  N.C. Tsourveloudis,et al.  Petri Net Modeling of Routing and Operation Flexibility in Production Systems , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

[19]  Francesco Longo,et al.  An Advanced System for Supporting the Decision Process within Large-scale Retail Stores , 2010, Simul..

[20]  Julio Blanco-Fernández,et al.  Optimal Design of an Olive Oil Mill by Means of the Simulation of a Petri Net Model , 2014 .

[21]  Mercedes Pérez de la Parte,et al.  Control of Discrete Event Systems by Means of Discrete Optimization and Disjunctive Colored PNs: Application to Manufacturing Facilities , 2014 .

[22]  Manuel Silva Suárez,et al.  Petri nets and Automatic Control: A historical perspective , 2018, Annu. Rev. Control..

[23]  Adriano O. Solis,et al.  Investigating the behavior of a shop order manufacturing sistem by using simulation , 2013, SpringSim.