科研之友
微信
新浪微博
Facebook
分享链接
摘要
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. %26lt;br%26gt;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. %26lt;br%26gt;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. %26lt;br%26gt;Note to Practitioners-The sizing and the control of modern automated warehouse systems are carried out by using formulas that do not take into account that they are dynamic systems. This leads to a big discrepancy between the expected performance and the real performance. A model-based approach is needed to obtain accurate results. Warehouse systems have been often considered discrete event systems, while their behavior depends also on continuous time phenomena. In this paper, a new formalism is proposed to obtain a modular and compact hybrid model for these systems. A freeware simulation tool has also been developed. In the companion paper, it will be shown how this model can be used to prevent deadlocks and to evaluate the system performance.
- 出版日期2012-10
