A hybrid model of complex automated warehouse systems - Part II: Analysis and experimental results

IEEE Transactions on Automation Science and Engineering

Volumn 9, Issue 4, 2012, Pages 654-668

  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; DEADLOCK PREVENTION POLICY; HUMAN OPERATOR; HYBRID AUTOMATONS; HYBRID MODEL; HYBRID MODELING; HYBRID PETRI NET; LIVENESS; MODEL BASED APPROACH; NET MODEL; PERFORMANCE EVALUATION; TWO-COMPONENT;

AUTOMATA THEORY; CONTINUOUS TIME SYSTEMS; CONTROL SYSTEMS; DISCRETE EVENT SIMULATION; HYBRID SYSTEMS; PETRI NETS; SYSTEMS ANALYSIS; TOOLS; WAREHOUSES;

AUTOMATION;

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

References (22)

1. F. Basile, P. Chiacchio, and J. Coppola, "A hybrid model of complex automated warehouse systems. Part I: Modeling and simulation," IEEE Transactions on Automation Science and Engineering, vol. 9, no. 4, pp. 640-653, Oct. 2012.
2. M. Fanti and M. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., Part A: Syst. Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
3. H. Hu, M. Zhou, and Z. Li, "Liveness and ratio-enforcing supervision of automated manufacturing systems using petri nets," IEEE Trans. Syst., Man, Cybern., Part A: Syst. Humans, vol. 42, no. 2, pp. 392-403, Feb. 2012.
4. E. Roszkowska and S. Reveliotis, "On the liveness of guidepath-based, zone-controlled dynamically routed, closed traffic systems," IEEE Trans. Autom. Control, vol. 53, no. 7, pp. 1689-1695, Aug. 2008.
5. M. Dotoli and M. Fanti, "Deadlock detection and avoidance strategies for automated storage and retrieval systems," IEEE Trans. Syst., Man, Cybern., Part C: Appl. Rev., vol. 37, no. 4, pp. 541-552, Jul. 2007. (Pubitemid 47061955)
6. E. Roszkowska, "Undirected colored Petri net formodelling and supervisory control of AGV systems," in Proc. 6th Int.Workshop on Discrete Event Syst. (WODES'02), 2002, pp. 135-142.
7. 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.
8. F. Basile, P. Chiacchio, and G. De Tommasi, "On κ- diagnosability of Petri nets via integer linear programming," Automatica, vol. 48, pp. 2047-2058, 2012.
9. J. Ezpeleta, J. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
10. H. Hu, M. Zhou, and Z. Li, "Supervisor optimization for deadlock resolution in automated manufacturing systems with Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 4, pp. 794-804, Oct. 2011.
11. F. Basile, P. Chiacchio, and A. Giua, "An optimization approach to Petri net monitor design," IEEE Trans. Automatic Control, vol. 52, no. 2, pp. 306-311, Feb. 2007. (Pubitemid 46444286)
12. Z. Li and H. Hu, "Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs," Comput. Ind. Eng., vol. 57, pp. 1168-1181, 2009.
13. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theor. Comput. Sci., vol. 138, no. 32, pp. 3-24, Feb. 1995.
14. L.Ghomri, H. Alla, andZ. Sari, "Structural and hierarchical translation of hybrid Petri nets in hybrid automata," in Proc. IMACS'05, Paris, France, 2005.
15. E. Teruel and M. Silva, "Liveness and home states in equal conflict systems," Application and Theory of Petri Nets, Springer, vol. 691, pp. 415-432, 1993.
16. European Federation of Material Handling, FEM 9.851 - Performance Data of Storage and Retrieval Machines: Cycle Times, 2003.
17. 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)
18. F. Basile, P. Chiacchio, and J. Coppola, "A discrete event model for the control and analysis of complex automated warehouse systems," in IEEE International Conference on Automation Science and Engineering (CASE'11), Trieste, Italy, Aug. 2011, pp. 201-207.
19. 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)
20. "PNetLab," Automatic Group of Salerno, [Online]. Available: http://www.automatica.unisa.it/PnetLab.html
21. 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)
22. 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.