Control of Discrete Event Systems by Means of Discrete Optimization and Disjunctive Colored PNs: Application to Manufacturing Facilities

Artificial intelligence methodologies, as the core of discrete control and decision support systems, have been extensively applied in the industrial production sector. The resulting tools produce excellent results in certain cases; however, the NP-hard nature of many discrete control or decision making problems in the manufacturing area may require unaffordable computational resources, constrained by the limited available time required to obtain a solution. With the purpose of improving the efficiency of a control methodology for discrete systems, based on a simulation-based optimization and the Petri net (PN) model of the real discrete event dynamic system (DEDS), this paper presents a strategy, where a transformation applied to the model allows removing the redundant information to obtain a smaller model containing the same useful information. As a result, faster discrete optimizations can be implemented. This methodology is based on the use of a formalism belonging to the paradigm of the PN for describing DEDS, the disjunctive colored PN. Furthermore, the metaheuristic of genetic algorithms is applied to the search of the best solutions in the solution space. As an illustration of the methodology proposal, its performance is compared with the classic approach on a case study, obtaining faster the optimal solution.

[1]  G. Ibragimov,et al.  Linear Discrete Pursuit Game Problem with Total Constraints , 2013 .

[2]  Lei Zhao,et al.  Petri Net-Based R&D Process Modeling and Optimization for Composite Materials , 2013, J. Appl. Math..

[3]  H. Karimi,et al.  A Simplified Predictive Control of Constrained Markov Jump System with Mixed Uncertainties , 2014 .

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

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

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

[7]  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..

[8]  Juan Ignacio Latorre,et al.  Coloured Petri Nets as a formalism to represent alternative models for a discrete event system , 2010 .

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

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

[11]  MuDer Jeng,et al.  Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems , 2013, J. Appl. Math..

[12]  Homayun Motameni,et al.  Solving Flexible Job-Shop Scheduling Problem Using Gravitational Search Algorithm and Colored Petri Net , 2012, J. Appl. Math..

[13]  E. Martínez,et al.  Applicability of lean production with VSM to the Rioja wine sector , 2012 .

[14]  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..

[15]  Mercedes Pérez de la Parte,et al.  Simulation and Optimization of Logistic and Production Systems Using Discrete and Continuous Petri Nets , 2004, Simul..

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

[17]  Felix Breitenecker,et al.  Simulation Based Scheduling Applying Petri Nets with Sequences and Priorities , 2008, Tenth International Conference on Computer Modeling and Simulation (uksim 2008).

[18]  Juanjuan Hu,et al.  An Improved Ant Colony Optimization for Flexible Job Shop Scheduling Problems , 2011 .

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

[20]  Chih-Hao Lin,et al.  A Mutual-Evaluation Genetic Algorithm for Numerical and Routing Optimization , 2013, J. Appl. Math..

[21]  Miquel Angel Piera Eroles,et al.  Revisiting state space exploration of timed coloured petri net models to optimize manufacturing system's performance , 2010, Simul. Model. Pract. Theory.

[22]  Armin Zimmermann Colored Petri Nets , 2008 .

[23]  Emilio Jiménez Macías,et al.  Simulation-based optimization of discrete event systems with alternative structural configurations using distributed computation and the Petri net paradigm , 2013, Simul..

[24]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

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

[26]  Miao Liu,et al.  Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation , 2013, J. Appl. Math..

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

[28]  Tao Sun,et al.  A Model Reduction Method for Parallel Software Testing , 2013, J. Appl. Math..

[29]  Julio Blanco-Fernández,et al.  Decision Support in the Rioja Wine Production Sector , 2013 .

[30]  H. Karimi,et al.  Stabilization and Controller Design of 2D Discrete Switched Systems with State Delays under Asynchronous Switching , 2013 .

[31]  Manuel Silva Suárez,et al.  A two phase optimization method for Petri net models of manufacturing systems , 2001, J. Intell. Manuf..

[32]  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.

[33]  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..