A hybrid model of complex automated warehouse systems - Part I: Modeling and simulation

IEEE Transactions on Automation Science and Engineering

Volumn 9, Issue 4, 2012, Pages 640-653

  Basile, Francesco ^a   Chiacchio, Pasquale ^a   Coppola, Jolanda ^a  

^a UNIVERSITY OF SALERNO   (Italy)

Author keywords

Automated warehouse systems; discrete event systems; hybrid systems; Petri Nets

Indexed keywords

AUTOMATED STORAGE; AUTOMATED WAREHOUSE SYSTEMS; COLORED PETRI NETS; COMPACT MODEL; CONTINUOUS TIME; HUMAN OPERATOR; HYBRID MODEL; HYBRID PETRI NET; MODEL BASED APPROACH; MODELING AND SIMULATION; PERFORMANCE EVALUATION; TWO-COMPONENT;

AUTOMATION; CONTINUOUS TIME SYSTEMS; DISCRETE EVENT SIMULATION; HYBRID SYSTEMS; PETRI NETS; SYSTEMS ANALYSIS; TOOLS; WAREHOUSES;

CONTROL SYSTEMS;

EID: 84867402638     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2012.2215322     Document Type: Article

References (47)

1. J. Van den Berg, "A literature survey on planning and control of warehousing systems," IIE Trans., vol. 31, pp. 1-13, 1999.
2. S. C. Graves, W. H. Hausman, and L. B. Schwarz, "Storage-retrieval interleaving in automatic warehousing systems," Manage. Sci., vol. 23, no. 9, pp. 935-945, 1977.
3. Y. A. Bozer and J. A. White, "Travel-time models for automated storage/retrieval systems," IEE Trans., vol. 16, no. 4, pp. 329-338, 1984.
4. M. H. Han, L. McGinnis, J. S. Shieh, and J. A. White, "On sequencing retrievals in an automated storage/retrieval system," IEE Trans., vol. 19, no. 3, pp. 56-66, 1987. (Pubitemid 17553208)
5. S. Lee, R. de Souza, and E. Ong, "Simulation modelling of a narrow aisle automated storage and retrieval system (AS/RS) serviced by railguided vehicles," Comput. Ind., vol. 30, no. 3, pp. 241-253, 1996. (Pubitemid 126392588)
6. F. Amato, F. Basile, C. Carbone, and P. Chiacchio, "An approach to control automated warehouse systems," Control Engineering Practice, vol. 13, no. 10, pp. 1223-1241, 2005. (Pubitemid 40870022)
7. M. Dotoli and M. Fanti, "A coloured Petri net model for automated storage and retrieval systems serviced by rail-guided vehicles: A control perspective," Int. J. Comput. Integr. Manuf., vol. 18, no. 2, pp. 122-136, 2005. (Pubitemid 41663419)
8. T. Murata, "Petri Nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, April 1989.
9. B. Rouwenhorst, B. Reuter, V. Stockrahm, G. van Houtum, R. Mantel, and W. Zijm, "Warehouse design and control: Framework and literature review," Eur. J. Oper. Res., vol. 122, no. 3, pp. 515-533, 2000. (Pubitemid 30558884)
10. J. Gu, M. Goetschalckx, and L. F. McGinnis, "Research on warehouse design and performance evaluation: A comprehensive review," Eur. J. Oper. Res., vol. 203, no. 3, pp. 539-549, 2010.
11. R. David and H. Alla, "On hybrid Petri nets," Discrete Event Dynamic Syste., vol. 11, pp. 9-40, 2001. (Pubitemid 32159843)
12. G. J. Tsinarakis, N. C. Tsourveloudis, and K. P. Valavanis, "Modeling, analysis, synthesis, and performance evaluation of multioperational production systems with hybrid timed Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 3, no. 1, pp. 29-46, Jan. 2006. (Pubitemid 46404970)
13. S. Hsieh and Y. Chen, "Agvsimnet: A Petri-net-based AGVS simulation system," Int. J. Adv. Manuf. Technol., vol. 15, pp. 851-861, 1999. (Pubitemid 30514592)
14. D. Tacconi and F. Lewis, "A new matrix model for discrete event systems: Application to simulation," IEEE Control Syst.Mag., vol. 17, pp. 62-71, 1997. (Pubitemid 127595777)
15. V.Giordano, J. Zhang, D. Naso, and F. Lewis, "Integrated supervisory and operational control of a warehouse with a matrix-based approach," IEEE Trans. Autom. Sci. Eng., vol. 5, no. 1, pp. 53-70, Jan. 2008.
16. R. David and H. Alla, Discrete, Continuous and Hybrid Petri Nets. New York: Springer, 2005.
17. S. Pettersson and B. Lennartson, "Hybrid modelling focused on Hybrid PetriNets," in Proc. 2nd Eur.Workshop on Real-Time and Hybrid Syst., 1995, pp. 303-309.
18. N. Q.Wu, M. C. Zhou, and F. Chu, "A petri net-based heuristic algorithm for realizability of target refining schedule for oil refinery," IEEE Trans. Autom. Sci. Eng., vol. 5, no. 4, pp. 661-676, Oct. 2008.
19. N. Q.Wu, F. Chu, and M. C. Zhou, "Short-term schedulability analysis of multiple distiller crude oil operations in refinery with oil residency time constraint," IEEE Trans. Syst., Man, Cybern., Part C, vol. 39, no. 1, pp. 1-16, 2009.
20. N. Q. Wu, F. Chu, C. B. Chu, and M. C. Zhou, "Hybrid petri net modeling and schedulability analysis of high fusion point oil transportation under tank grouping strategy for crude oil operations in refinery," IEEE Trans. Syst., Man, Cybern., Part C, vol. 40, no. 2, pp. 159-175, 2010.
21. I. Demongodin and N. Koussoulas, "Differential Petri nets: Representing continuous systems in a discrete-event world," IEEE Trans. Autom. Control, vol. 43, no. 4, pp. 573-579, 1998. (Pubitemid 128737382)
22. F. Balduzzi, A. Giua, and G. Menga, "First-order Hybrid Petri Nets: A model for optimization and control," IEEE Trans. Robot. Autom., vol. 16, no. 4, pp. 382-399, 2000.
23. F. Balduzzi, A. Giua, and C. Seatzu, "Modelling and simulation of manufacturing systems with first-order hybrid Petri nets," Int. J. Prod. Res., vol. 39, no. 2, pp. 255-282, 2001. (Pubitemid 35165679)
24. A. Giua and E. Usai, "Modeling hybrid system by high-level Petri nets," API - JESA, vol. 32, no. 9, pp. 9-10, 1998.
25. R. Champagnat, H. Pingaud, and R. Valette, "An extension of high-level Petri nets for modelling batch systems," in Proc. IMACS/IEEE Int. Conf. Circuits, Syst., Commun. Comput. (CSCC'99), 1999, pp. 2621-2625.
26. N. Wu, L. Bai, and C. Chu, "Modeling and conflict detection of crude oil operations for refinery process based on controlled colored timed Petri net," IEEE Trans. Syst., Man, Cybern., Part C: Appl. Rev., vol. 37, no. 4, pp. 461-472, July 2007. (Pubitemid 47061949)
27. N.Wu,M. Zhou, and F. Chu, "A Petri net-based heuristic algorithm for realizability of target refining schedule for oil refinery," IEEE Trans. Autom. Sci. Eng., vol. 5, no. 4, pp. 661-676, Oct. 2008.
28. N. Wu, C. Chu, F. Chu, and M. Zhou, "Schedulability analysis of short-term scheduling for crude oil operations in refinery with oil residency time and charging-tank-switch-overlap constraints," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 1, pp. 190-204, Jan. 2011.
29. H. Chen and H.-M. Hanisch, "Analysis of hybrid systems based on hybrid net condition/event system model," Discrete Event Dynamic Syst., vol. 11, pp. 163-185, Jan. 2001. (Pubitemid 32159850)
30. R. Champagnat, P. Esteban, H. Pingaud, and R. Valette, "Modelling hybrid systems by means of high-level Petri Nets: Benefits and limitations," in Proc. IFAC-IFIP-IMACS Conf. Control Ind. Syst.,May 1997, vol. 1, pp. 469-474.
31. R. Champagnat, P. Esteban,H. Pinguad, and R.Valette, "Petri net based modelling of hybrid systems," Comput. Ind., vol. 36, pp. 139-146, 1998. (Pubitemid 128407634)
32. M. A. Drighiciu, A. P. Petrisor, and M. Popescu, "A Petri Nets approach for hybrid systems modeling," Int. J. Circuits, Syst. Signal Process., vol. 3, no. 2, pp. 55-64, 2009.
33. K. Jensen, Colored Petri Nets. Basic Concepts, Analysis Methods and Pratical Use. Volume 1, ser.Monographs on Theoretical Computer Science. New York: Springer, 1995.
34. S. Hsieh and M. Kang, "Developing AGVS Petri net control models from flowpath," J. Manuf. Syst., vol. 17, no. 4, pp. 237-249, 1998.
35. PNetLab, by Automatic Group of Salerno.[Online]. Available: http://www.automatica.unisa.it/PnetLab.html
36. F. Basile, C. Carbone, and P. Chiacchio, "Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab," Control Engineering Practice, vol. 15, pp. 241-259, Feb. 2007. (Pubitemid 44597317)
37. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2nd ed. New York: Springer, 2008.
38. P. Ramadge and W.Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 637-659, Jan. 1989.
39. F. Charbonnier, H. Alla, and R. David, "The supervised control of discrete event system," IEEE Transactions on Control System Technology, vol. 7, no. 2, pp. 175-187, 1999.
40. F. Basile, P. Chiacchio, and A. Giua, "An optimization approach to Petri net monitor design," IEEE Transactions on Automatic Control, vol. 52, no. 2, pp. 306-311, Feb. 2007. (Pubitemid 46444286)
41. F. Basile, P. Chiacchio, and C. Carbone, "Feedback control logic for backward conflict free choice nets," IEEE Transactions on Automatic Control, vol. 52, no. 3, pp. 387-400, Mar. 2007.
42. K. Feldmann, A. Colombo, C. Schnur, and T. Stöckel, "Specification, design and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. Part I: Specification and design," IEEE Transactions on Control Systems Technology, vol. 7, no. 6, pp. 657-665, 1999. (Pubitemid 32081658)
43. K. Feldmann, A. Colombo, C. Schnur, and T. Stöckel, "Specification, design and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. Part II: Design and implementation," IEEE Transactions on Control Systems Technology, vol. 7, no. 6, pp. 666-674, 1999. (Pubitemid 32081659)
44. F. Basile and P. Chiacchio, "On the implementation of supervised control of discrete event systems," IEEE Transactions on Control Systems Technology, vol. 15, no. 4, pp. 725-739, Jul. 2007. (Pubitemid 47062010)
45. F. Basile, P. Chiacchio, and D. Del Grosso, "A two-stage modelling architecture for distributed control of real-time industrial systems: Application of UML and Petri net," Computer Standard & Interfaces, vol. 31, no. 3, pp. 528-538, Mar. 2009.
46. F. Basile, P. Chiacchio, and G. De Tommasi, "On -diagnosability of Petri nets via integer linear programming," Automatica, vol. 48, pp. 2047-2058, 2012.
47. F. Basile, P. Chiacchio, and J. Coppola, "A hybrid model of complex automated warehouse systems. Part II: Analysis and experimental results," IEEE Transactions on Automation Science and Engineering, vol. 9, no. 4, pp. 654-668, Oct. 2012.