A compact timed state space approach for the analysis of manufacturing systems: key algorithmic improvements

The state space (SS) analysis of a timed coloured Petri net (TCPN) has been used traditionally for validation and verification of system properties. Performance modelling using TCPN has also received the widespread attention of researchers in recent years as a promising alternative to improve productivity and competitiveness of present flexible manufacturing systems. In this article, a new computationally effective approach is introduced for designing efficient decision support tools based on the analysis of SSs, in which the computational time is an important requirement to deal with optimal scheduling, routing or planning policies. The SS analysis of a system specified in the TCPN formalism is faced with an algorithm in two stages, key implementation algorithmic aspects are considered to improve the time consuming tasks (transition evaluation, data management and information search). In order to provide good benchmarking results when applied to the optimisation of industrial scheduling problems, some examples are given and future work is addressed at the end of the article.

[1]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[2]  Gasper Music,et al.  Production-process modelling based on production-management data: a Petri-net approach , 2007, Int. J. Comput. Integr. Manuf..

[3]  Manoj Kumar Tiwari,et al.  Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach , 2007 .

[4]  George Chryssolouris,et al.  A simulation-based hybrid backwards scheduling framework for manufacturing systems , 2006, Int. J. Comput. Integr. Manuf..

[5]  W.M.P. van der Aalst,et al.  Petri net based scheduling , 1996 .

[6]  K. Mortensen.  Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator , 2001 .

[7]  Manoj Kumar Tiwari,et al.  Operation allocation in automated manufacturing system using GA-based approach with multifidelity models , 2010 .

[8]  Lisa Wells,et al.  Performance analysis using coloured Petri nets , 2002, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems.

[9]  Rossano Gaeta,et al.  Efficient Discrete-Event Simulation of Colored Petri Nets , 1996, IEEE Trans. Software Eng..

[10]  Gaston H. Gonnet,et al.  Handbook Of Algorithms And Data Structures , 1984 .

[11]  Frank DiCesare,et al.  Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..

[12]  Chih-Ming Liu,et al.  Using Petri nets to solve FMS problems , 1993 .

[13]  Manoj Kumar Tiwari,et al.  A fuzzy based algorithm to solve the machine-loading problems of a FMS and its neuro fuzzy petri net model , 2004 .

[14]  Peter Ross,et al.  A Promising Genetic Algorithm Approach to Job-Shop SchedulingRe-Schedulingand Open-Shop Scheduling Problems , 1993, ICGA.

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

[16]  Miquel Angel Piera Eroles,et al.  A Methodology for Solving Logistic Optimization Problems through Simulation , 2010, Simul..

[17]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[18]  Manoj Kumar Tiwari,et al.  An efficient hybrid evolutionary heuristic using genetic algorithm and simulated annealing algorithm to solve machine loading problem in FMS , 2009 .

[19]  Hoda A. ElMaraghy,et al.  An Efficient Search Algorithm for Deadlock-Free Scheduling in FMS Using Petri Nets , 1998, ICRA.

[20]  Paolo Renna,et al.  Job shop scheduling by pheromone approach in a dynamic environment , 2010, Int. J. Comput. Integr. Manuf..

[21]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[22]  Antti Valmari,et al.  The State Explosion Problem , 1996, Petri Nets.

[23]  Damien Trentesaux,et al.  Modelling with coloured timed Petri nets and simulation of a dynamic and distributed management system for a manufacturing cell , 1994 .

[24]  Hongnian Yu,et al.  Integrating Petri Nets and hybrid heuristic search for the scheduling of FMS , 2002, Comput. Ind..

[25]  Stéphane Dauzère-Pérès,et al.  An Integrated Approach in Production Planning and Scheduling , 1994 .

[26]  Hongnian Yu,et al.  Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems-part I: Petri net modelling and heuristic search , 2003 .