Sequence of decisions on discrete event systems modeled by Petri nets with structural alternative configurations

Abstract The management of certain systems, such as manufacturing facilities, supply chains, or communication networks implies assessing the consequences of decisions, aimed for the most efficient operation. This kind of systems usually shows complex behaviors where subsystems present parallel evolutions and synchronizations. Furthermore, the existence of global objectives for the operation of the systems and the changes that experience the systems or their environment during their evolution imply a more or less strong dependence between decisions made at different time points of the life cycle. This paper addresses a complex problem that is scarcely present in the scientific literature: the sequences of decisions aimed for achieving several objectives simultaneously and with strong influence from one decision to the rest of them. In this case, the formal statement of the decision problem should take into account the whole decision sequence, making impractical the solving paradigm of “divide and conquer”. Only an integrated methodology may afford a realistic solution of such a type of decision problem. In this paper, an approach based on the formalism of the Petri nets is described, several considerations related to this problem are presented, a solving methodology based on the previous work of the authors, as well as a case-study to illustrate the main concepts.

[1]  Michael K. Molloy,et al.  Petri net , 2003 .

[2]  Lin Ma,et al.  Maintenance Chain Integration Using Petri-Net Enabled Multiagent System Modeling and Implementation Approach , 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[3]  Gianfranco Balbo,et al.  Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques , 1998 .

[4]  Tao Wang,et al.  IMENSE: An e-infrastructure environment for patient specific multiscale data integration, modelling and clinical treatment , 2012, J. Comput. Sci..

[5]  Hartmut Ehrig,et al.  Petri Net Transformations , 2008 .

[6]  Victor V. Getmanskiy,et al.  Concurrent simulation of multibody systems coupled with stress-strain and heat transfer solvers , 2012, J. Comput. Sci..

[7]  Qun-xing Su,et al.  Study of Equipment Virtual Disassembly Petri Net Modeling for Virtual Maintenance , 2011 .

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

[9]  Emilio Jiménez-Macías,et al.  The exclusive entities in the formalization of a decision problem based on a discrete event system by means of Petri nets , 2011 .

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

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

[12]  Emilio Jiménez-Macías,et al.  Sequence of decisions on discrete event systems with structural alternative configurations , 2012 .

[13]  Emilio Jiménez Macías,et al.  Petri nets with exclusive entities for decision making , 2013, Int. J. Simul. Process. Model..

[14]  Marisa Llorens,et al.  Structural and dynamic changes in concurrent systems: reconfigurable Petri nets , 2004, IEEE Transactions on Computers.

[15]  Armin Zimmermann,et al.  A Petri net based design engine for manufacturing systems , 2001 .

[16]  Anna V. Kaluzhnaya,et al.  Simulation-based collaborative decision support for surge floods prevention in St. Petersburg , 2012, J. Comput. Sci..

[17]  Mercedes Pérez de la Parte,et al.  Simulation-Based Optimization for the Design of Discrete Event Systems Modeled by Parametric Petri Nets , 2011, 2011 UKSim 5th European Symposium on Computer Modeling and Simulation.

[18]  Minjie Zhang,et al.  Using colored petri nets to predict future states in agent-based scheduling and planning systems , 2010, Multiagent Grid Syst..

[19]  Panos J. Antsaklis,et al.  Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.

[20]  Eduardo Alves Portela Santos,et al.  A control-monitoring-maintenance framework based on Petri net with objects in fl exible manufacturing system. Application to a robot-driven fl exible cell. , 2010 .

[21]  Rüdiger Valk.  Self-Modifying Nets, a Natural Extension of Petri Nets , 1978, ICALP.

[22]  Mercedes Pérez de la Parte,et al.  A Genetic Algorithm for Decision Problems Stated on Discrete Event Systems , 2010, 2010 12th International Conference on Computer Modelling and Simulation.