A High-Level Petri Net Based Decision Support System for Real-Time Scheduling and Control of Flexible Manufacturing Systems: An Object-Oriented Approach

Petri nets (PNs) are powerful tools for modeling and analysis of discrete event dynamic systems. The graphical nature and mathematical foundation make Petri net based methods appealing for a wide variety of areas including real-time scheduling and control of flexible manufacturing systems (FMSs). This study attempts to propose an object-oriented approach for modeling and analysis of shop floor scheduling and control problem in FMSs using high-level PNs. In this approach, firstly, object modeling diagram of the system is constructed and a heuristic rule-base is developed to solve the resource contention problem, then the dynamic behavior of the system is formulated by high-level PNs. The methodology is illustrated by an FMS.

[1]  R. Al-Aomar,et al.  ANALYSIS OF NON-STOP TRAFFIC AT ISOLATED SIGNALISED INTERSECTION BY MEANS OF DISCRETE EVENT SIMULATION , 2007 .

[2]  Yanyan Wang,et al.  A Novel Modeling Design Method for Automated Storage and Retrieval System Based on Petri Nets , 2007, 2007 IEEE International Conference on Automation and Logistics.

[3]  Ning Fang,et al.  Minimum-time swing-up of a rotary inverted pendulum by iterative impulsive control , 2004, Proceedings of the 2004 American Control Conference.

[4]  Chin-Wang Tao,et al.  A two-stage design of adaptive fuzzy controllers for time-delay systems with unknown models , 2007, Int. J. Syst. Sci..

[5]  Mariagrazia Dotoli,et al.  Fuzzy multi-objective optimization for network design of integrated e-supply chains , 2007, Int. J. Comput. Integr. Manuf..

[6]  Devendra P. Garg,et al.  Petri Net Based Modeling and Control Strategies for Flexible Manufacturing Systems , 2006 .

[7]  Hanjiang Zhang,et al.  The Hierarchy Framework and Discrete Event Simulate Model on Research of Plan of Sorting Orders and Optimizing in Distribution Center in Chinese Small Cities , 2005, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06).

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

[9]  MengChu Zhou,et al.  A decision support system for the supply chain configuration , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[10]  Jim Lee,et al.  Effect of manufacturing system constructs on pick-up and drop-off strategies of multiple-load AGVs , 2006 .

[11]  Chun-Nan Lin,et al.  Incorporating PCA and FCM into Organism Classification Based on Codon Usage , 2006, The Sixth IEEE International Conference on Computer and Information Technology (CIT'06).

[12]  Mariagrazia Dotoli,et al.  Fuzzy Gain Scheduling of Coupled PID Controllers for Stabilization of the Inverted Pendulum , 2003 .

[13]  Mariagrazia Dotoli,et al.  Performance-based comparison of control policies for automated storage and retrieval systems modelled by coloured Petri nets , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

[14]  Mariagrazia Dotoli,et al.  Deadlock Detection and Avoidance Strategies for Automated Storage and Retrieval Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[15]  Dong Hwa Kim,et al.  Intelligent Control of AVR System Using GA-BF , 2005, KES.

[16]  Yi-Sheng Huang,et al.  A New Modeling Methodology of Urban Traffic Lights Based on Timed Coloured Petri Nets , 2006, 2006 IEEE International Conference on Systems, Man and Cybernetics.

[17]  Alessandro Giua,et al.  Identification of Petri Nets from Knowledge of Their Language , 2007, Discret. Event Dyn. Syst..

[18]  F. F. Chen,et al.  Performance Modelling and Evaluation of Dynamic Tool Allocation in Flexible Manufacturing Systems using Coloured Petri Nets: An Object-Oriented Approach , 2003 .

[19]  MengChu Zhou,et al.  Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..

[20]  M. Dotoli,et al.  An Optimization Approach for Identification of Petri Nets , 2006, 2006 8th International Workshop on Discrete Event Systems.

[21]  Huang Chong-chao.  Solution method to a new model for real-time traffic signal timing , 2006 .

[22]  M. Dotoli,et al.  Rule-based decoupled fuzzy sliding mode control for inverted pendulum swing-up , 2004, 2004 IEEE International Symposium on Industrial Electronics.

[23]  B. Bouchon-Meunier,et al.  ON THE CHOICE OF MEMBERSHIP FUNCTIONS IN A MAMDANI-TYPE FUZZY CONTROLLER , 2007 .

[24]  Rajkumar Roy,et al.  Advances in Soft Computing: Engineering Design and Manufacturing , 1998 .

[25]  Chi-kit. Fan,et al.  Design and analysis of agent-based FMS control systems , 2005 .

[26]  Riikka Kaipia,et al.  Measuring the benefit of changing the value offering in grocery supply chains , 2007 .

[27]  MengChu Zhou,et al.  Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[28]  MengChu Zhou,et al.  Object-oriented design of FMS control software based on object modeling technique diagrams and Petri nets , 1998 .

[29]  M. Dotoli,et al.  Coordination and real time optimization of signal timing plans for urban traffic control , 2004, IEEE International Conference on Networking, Sensing and Control, 2004.

[30]  Mariagrazia Dotoli,et al.  A Fuzzy Control Course on the Internet , 1998 .

[31]  Yi-Sheng Huang,et al.  Design of a Supervisor for Traffic Light Systems , 2007, KES.

[32]  Dong Hwa Kim,et al.  Advanced Bacterial Foraging and Its Application Using Fuzzy Logic Based Variable step Size and Clonal Selection of Immune Algorithm , 2006, 2006 International Conference on Hybrid Information Technology.

[33]  Budiman Azzali Basir.  Control of cart-ball system using state feedback and fuzzy logic controller , 2007 .

[34]  Nicola Sacco,et al.  A Model for Traffic Behaviour Evaluation Based on a Discrete Event Simulation Approach , 2007 .

[35]  P. K. Jain.  Solving resource contention problem in FMS using Petri nets and a rule-based approach , 2001 .

[36]  G. Mastronardi,et al.  A soft computing approach to the intelligent control , 2006, 2006 4th IEEE International Conference on Industrial Informatics.

[37]  O. V. Krishnaiah Chetty,et al.  Modelling, simulation and scheduling of flexible assembly systems with coloured Petri nets , 1996 .

[38]  林涛,et al.  Resarch on Welding Robotic System with Petri Net , 2007 .

[39]  Paolo Dadone,et al.  Fuzzy Control of Flexible Manufacturing Systems , 1997 .

[40]  Hong Wang,et al.  Variable structure controller for an inverted pendulum , 2004 .

[41]  Rabih Omran.  Modélisation du moteur diesel, en vue de sa commande dynamique par réseaux de neurones pour minimiser les émissions , 2007 .

[42]  Mariagrazia Dotoli,et al.  Validation of an Urban Traffic Network Model using Colored Timed Petri Nets , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

[43]  Eduardo Giraldo Suárez,et al.  APLICACIÓN DE CONTROLES INTELIGENTES SOBRE SISTEMAS NO LINEALES Y ANÁLISIS DE ESTABILIDAD EN EL PLANO DE FASE , 2006 .

[44]  Fredy Alberto Sanz.  Modelación de enclavamientos en subestaciones eléctricas de transmisión de energía utilizando Redes de Petri de alto nivel , 2007 .

[45]  Dong Hwa Kim,et al.  Retraction of “A Biologically Inspired Intelligent PID Controller Tuning for AVR Systems” , 2006 .

[46]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[47]  James T. Lin,et al.  A Petri net-based integrated control and scheduling scheme for flexible manufacturing cells , 1997 .

[48]  Francesco Basile,et al.  Simulation Based Control of Urban Traffic based on a Hybrid Model , 2006 .

[49]  Dong Hwa Kim,et al.  A hybrid genetic algorithm and bacterial foraging approach for global optimization , 2007, Inf. Sci..

[50]  Baohua Mao,et al.  Design and Simulation of Signal Phase for Pedestrians' Twice Crossing at Large Signalized Intersections , 2007 .

[51]  Itsuo Hatono,et al.  Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets , 1991, IEEE Trans. Software Eng..

[52]  Hamid Khaloozadeh,et al.  Nonlinear Hammerstein model identification using genetic algorithm , 2002, Proceedings 2002 IEEE International Conference on Artificial Intelligence Systems (ICAIS 2002).

[53]  Li-Chih Wang,et al.  Object-oriented Petri nets for modelling and analysis of automated manufacturing systems , 1996 .

[54]  Lydie Nouvelière,et al.  Experimental vehicle longitudinal control using a second order sliding mode technique , 2007 .