A Hybrid Model of Complex Automated Warehouse Systems—Part I: Modeling and Simulation

An automated warehouse system has two main components: an automated storage and retrieval subsystem consisting of a number of aisles, each one served by a crane, and a picking area which is formed by bays where stock units coming from the aisles are partially emptied by human operators. These two components are connected via an interface area consisting of carousels, conveyors, and buffers. This area is usually modeled as a discrete event system, while the overall system performance depends also on continuous time phenomena. Part I presents a hybrid model based on a new Petri net formalism that merges the concepts of Hybrid Petri Nets and Colored Petri Nets to obtain modular and compact models for these systems. An example is discussed in detail to motivate the introduction of a new formalism. A control oriented simulation tool is also presented. Part II will focus on the application of this formalism to automated warehouse systems analysis and performance evaluation. Finally, a real case study is considered to show the effectiveness of the approach.

[1]  Kimon P. Valavanis,et al.  Modeling, analysis, synthesis, and performance evaluation of multioperational production systems with hybrid timed Petri nets , 2006, IEEE Transactions on Automation Science and Engineering.

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

[3]  Francesco Amato,et al.  An approach to control automated warehouse systems , 2005 .

[4]  Armando W. Colombo,et al.  Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. I. Specification and design , 1999, IEEE Trans. Control. Syst. Technol..

[5]  Stephen C. Graves,et al.  Storage-Retrieval Interleaving in Automatic Warehousing Systems , 1977 .

[6]  Frank L. Lewis,et al.  Integrated Supervisory and Operational Control of a Warehouse With a Matrix-Based Approach , 2008, IEEE Transactions on Automation Science and Engineering.

[7]  Yavuz A. Bozer,et al.  Travel-Time Models for Automated Storage/Retrieval Systems , 1984 .

[8]  R. Valette,et al.  An extension of high-level Petri nets for modelling batch systems , 1999 .

[9]  E. K. Ong,et al.  Simulation modelling of a narrow aisle automated storage and retrieval system (AS/RS) serviced by rail-guided vehicles , 1996 .

[10]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[11]  Haoxun Chen,et al.  Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model , 2001, Discret. Event Dyn. Syst..

[12]  Isabel Demongodin,et al.  Differential Petri nets: representing continuous systems in a discrete-event world , 1998 .

[13]  Francesco Basile,et al.  A Hybrid Model of Complex Automated Warehouse Systems—Part II: Analysis and Experimental Results , 2012, IEEE Transactions on Automation Science and Engineering.

[14]  Francesco Basile,et al.  On the Implementation of Supervised Control of Discrete Event Systems , 2007, IEEE Transactions on Control Systems Technology.

[15]  Dan Braha,et al.  Manufacturing control of a serial system with binomial yields, multiple production runs, and non-rigid demand: a decomposition approach , 1999 .

[16]  Alessandro Giua,et al.  An Optimization Approach to Petri Net Monitor Design , 2007, IEEE Transactions on Automatic Control.

[17]  Carla Seatzu,et al.  Modelling and simulation of manufacturing systems with first-order hybrid Petri nets , 2001 .

[18]  MengChu Zhou,et al.  Hybrid Petri Net Modeling and Schedulability Analysis of High Fusion Point Oil Transportation Under Tank Grouping Strategy for Crude Oil Operations in Refinery , 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[19]  Alessandro Giua,et al.  Modelling hybrid systems by high-level Petri nets , 1998 .

[20]  Gianmaria De Tommasi,et al.  On K-diagnosability of Petri nets via integer linear programming , 2012, Autom..

[21]  MengChu Zhou,et al.  Short-Term Schedulability Analysis of Multiple Distiller Crude Oil Operations in Refinery With Oil Residency Time Constraint , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[22]  René David,et al.  On Hybrid Petri Nets , 2001, Discret. Event Dyn. Syst..

[23]  Suhua Hsieh,et al.  Developing AGVS Petri net control models from flowpath nets , 1998 .

[24]  Alessandro Giua,et al.  First-order hybrid Petri nets: a model for optimization and control , 2000, IEEE Trans. Robotics Autom..

[25]  Francesco Basile,et al.  A two-stage modelling architecture for distributed control of real-time industrial systems: Application of UML and Petri Net , 2009, Comput. Stand. Interfaces.

[26]  MengChu Zhou,et al.  Schedulability Analysis of Short-Term Scheduling for Crude Oil Operations in Refinery With Oil Residency Time and Charging-Tank-Switch-Overlap Constraints , 2011, IEEE Transactions on Automation Science and Engineering.

[27]  Chengbin Chu,et al.  Modeling and Conflict Detection of Crude Oil Operations for Refinery Process Based on Controlled Colored Timed Petri Net , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[28]  Bengt Lennartson,et al.  Hybrid Modelling Focused on Hybrid Petri Nets , 1995 .

[29]  Frank L. Lewis,et al.  A new matrix model for discrete event systems: application to simulation , 1997 .

[30]  Francesco Basile,et al.  Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab , 2007 .

[31]  MengChu Zhou,et al.  A Petri Net-Based Heuristic Algorithm for Realizability of Target Refining Schedule for Oil Refinery , 2008, IEEE Transactions on Automation Science and Engineering.

[32]  Leon F. McGinnis,et al.  On Sequencing Retrievals In An Automated Storage/Retrieval System , 1987 .

[33]  Hervé Pingaud,et al.  Petri net based modeling of hybrid systems , 1998 .

[34]  S. Hsieh,et al.  AgvSimNet: A Petri-Net-Based AGVS Simulation System , 1999 .

[35]  René David,et al.  The supervised control of discrete event dynamic systems: a new approach , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[36]  Jeroen P. van den Berg.  A Literature survey on planning and control of warehousing systems , 1999 .

[37]  Armando W. Colombo,et al.  Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. II. Design and implementation , 1999, IEEE Trans. Control. Syst. Technol..

[38]  Armin Zimmermann.  Colored Petri Nets , 2008 .

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

[40]  Hervé Pingaud,et al.  Modeling Hybrid Systems by Means of High-Level Petri Nets: Benefits and Limitations , 1997 .

[41]  Marius Popescu,et al.  A Petri Nets approach for hybrid systems modeling , 2009 .

[42]  Francesco Basile,et al.  Feedback Control Logic for Backward Conflict Free Choice Nets , 2007, IEEE Transactions on Automatic Control.

[43]  Marc Goetschalckx,et al.  Research on warehouse design and performance evaluation: A comprehensive review , 2010, Eur. J. Oper. Res..

[44]  W. H. M. Zijm,et al.  Warehouse design and control: Framework and literature review , 2000, Eur. J. Oper. Res..

[45]  Mariagrazia Dotoli,et al.  A coloured Petri net model for automated storage and retrieval systems serviced by rail-guided vehicles: A control perspective , 2005, Int. J. Comput. Integr. Manuf..

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