Petri Net Models Optimized for Simulation
Open Access
- 20 February 2019
- book chapter
- Published by IntechOpen
Abstract
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.Keywords
This publication has 20 references indexed in Scilit:
- Control of Discrete Event Systems by Means of Discrete Optimization and Disjunctive Colored PNs: Application to Manufacturing FacilitiesAbstract and Applied Analysis, 2014
- Optimal Design of an Olive Oil Mill by Means of the Simulation of a Petri Net ModelInternational Journal of Food Engineering, 2014
- Sequence of decisions on discrete event systems modeled by Petri nets with structural alternative configurationsJournal of Computational Science, 2014
- The optimization problem based on alternatives aggregation Petri nets as models for industrial discrete event systemsSIMULATION, 2013
- Coloured Petri net scheduling models: Timed state space exploration shortagesMathematics and Computers in Simulation, 2011
- A compact timed state space approach for the analysis of manufacturing systems: key algorithmic improvementsInternational Journal of Computer Integrated Manufacturing, 2011
- Bases of Petri NetsPublished by Springer Science and Business Media LLC ,2010
- An Advanced System for Supporting the Decision Process within Large-scale Retail StoresSIMULATION, 2009
- Petri Nets and Manufacturing Systems: An Examples-Driven TourLecture Notes in Computer Science, 2004
- Introducing Petri netsPublished by Springer Science and Business Media LLC ,1993