Abstract
The automated warehouse considered here consists of a number of rack locations with three cranes, a narrow aisle shuttle, and several buffer stations with the roller. Based on analyzing of the behaviors of the active resources in the system, a modular and computerized model is presented via a colored timed Petri net approach, in which places are multicolored to simplify model and characterize control flow of the resources, and token colors are defined as the routes of storage/retrieval operations. In addition, an approach for realization of model via visual c++ is briefly given. These facts allow us to render an emulate system to simulate a discrete control application for online monitoring, dynamic dispatching control and off-line revising scheduler policies.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
B.R.Sarker and P.S. Babu. "Travel time models in automated storage/retrieval systems: a critical review," International Journal of Production Economics, 40, pp. 173-184, 1995.
van den J.P. Berg and A.J.R.M. (NOUD) Gademann, "Simulation study of an automated storage/retrieval system," International Journal of Production Research, 38(6), pp. 1339-1356, 2000.
M.J. Rosenblatt, Y. Roll and V. Zyser, "A combined optimization and simulation approach for designing automated storage/retrieval systems," IIE, Transactions, 25(1), pp. 40-50, 1993.
M. Dotoli and M.P. Fanti, "Modeling of an AS/RSServiced by Rail-Guided Vehicles with Colored Petri Nets: a Control Perspective," in Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics, Hammamet, Tunisia, pp. 162-167.
F. Amato and F. Basile, "Optimal Control of Warehousing Systems with Simultaneous Crane and Shuttle Optimization," in Proceedings of the 2001 IEEE international Conference on Emerging Technologies and Factory Automation, Antibes,France, pp. 95- 104.
F. Basile, C. Carbone, P. Chiacchio, "Modeling of AS/RS via Coloured Petri Nets," in Proceedings of the 2001 IEEEIASME International Conference on Advanced intelligent Mechatronics, Como,Italy,pp. 1029-1034.
K.Jensen, Colored Petri nets,Basic concepts,analysis methods and practical use, vol.1, Monographs on Theoretical Computer Sciences. New York: Springer Verlag, 1995.
S.Hsieh, J. S. Hwang, and H.C. Chou, "A Petri net based structure for AS/RS operation modeling," Int. Journal ofProduction Research, vol.36, n. 12, pp. 3323-3346, 1998.
S.C. Lin and H.P.B. Wang, "Modeling an automated storage and retrieval system using Petri nets," Int. Journal of Production Research, vol.33, n1, pp. 237-260, 1995.
ShanJun HE, Fei CHENG and Jian LUO, “Modeling and Implementing of an Automated Warehouse via Colored Timed Petri Nets: A Behavior Perspective”,in Proceeding of the IEEE ICCA 2007,pp:2823-2828.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer Science+Business Media B.V.
About this paper
Cite this paper
Cheng, F., He, S. (2010). How to Construct an Automated Warehouse Based on Colored Timed Petri Nets. In: Sobh, T., Elleithy, K. (eds) Innovations in Computing Sciences and Software Engineering. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-9112-3_38
Download citation
DOI: https://doi.org/10.1007/978-90-481-9112-3_38
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-9111-6
Online ISBN: 978-90-481-9112-3
eBook Packages: Computer ScienceComputer Science (R0)