Coloured timed Petri net model for real-time control of automated guided vehicle systems

International Journal of Production Research

Volumn 42, Issue 9, 2004, Pages 1787-1814

  Dotoli, M ^a   Fanti, M P ^a  

^a POLITECNICO DI BARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; COMPUTATIONAL COMPLEXITY; COMPUTER CONTROL; COMPUTER SIMULATION; COMPUTER SOFTWARE; DATA ACQUISITION; DECISION MAKING; FLEXIBLE MANUFACTURING SYSTEMS; LAWS AND LEGISLATION; MATERIALS HANDLING; MOTION PLANNING; PETRI NETS; PRODUCT DESIGN; SPECIFICATIONS; STRATEGIC PLANNING;

AUTOMATED GUIDED VEHICLE SYATEM (AGVS); AUTOMATED MANUFACTURING SYSTEMS (AMS); REAL-TIME CONTROL;

COMPUTER INTEGRATED MANUFACTURING;

EID: 1942536568     PISSN: 00207543     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207540410001661364     Document Type: Article

References (49)

1. ASHAYERI, J., GELDERS, L. F. and VAN LOOY, P. M., 1985, Micro-computer simulation in design of automated guided vehicle systems. Material Flow, 2, 37-48.
2. BANASZAK, Z. A. and KROGH, B. H., 1990, Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation, 6, 724-734.
3. BLAIR, E. L., CHARNSETHIKUL, P. and VASQUES, A., 1987, Optimal routing of driverless vehicles in a flexible material handling system. Material Flow, 4, 73-83.
4. CHO, H., KUMARAN, T. K. and WYSK, R. A., 1995, Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11, 413-421.
5. CHU, F. and XIE, X., 1997, Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation, 13, 793-804.
6. CO, G. C. and TANCHOCO, J. M. A., 1991, A review of research on AGVS vehicle management. Engineering Costs and Production Economics, 21, 35-42.
7. DESROCHERS, A. A. and AL-JAAR, R. Y., 1995, Applications of Petri Nets in Manufacturing Systems (New York: IEEE Press).
8. EGBELU, P. J. and TANCHOCO, J. M. A., 1984, Characterization of automatic guided vehicle dispatching rules. International Journal of Production Research, 22, 359-374.
9. EGBELU, P. J. and TANCHOCO, J. M. A., 1986, Potentials for bi-directional guide-path for automated guided vehicle based systems. International Journal of Production Research, 24, 1075-1097.
10. EZPELETA, J. and COLOM, J. M., 1997, Automatic synthesis of colored Petri net for the control of FMS. IEEE Transactions on Robotics and Automation, 13, 327-337.
11. EZPELETA, J., COLOM, J. M. and MARTINEZ, J., 1995, A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11, 173-184.
12. FANTI, M. P., 2002a, Event-based controller to avoid deadlock and collisions in zone control AGVS. International Journal of Production Research, 40, 1453-1478.
13. FANTI, M. P., 2002b, Deadlock-free control in automated guided vehicle systems. In P. Ezhilchelvan and A. Romanovsky (eds), Concurrency in Dependable Computing (Dordrecht: Kluwer), pp. 105-126.
14. FANTI, M. P., MAIONE, B. and TURCHIANO, B., 2000, Comparing digraph and Petri net approaches to deadlock avoidance in FMS. IEEE Transactions on Systems, Man and Cybernetics. Part B: Cybernetics, 30, 783-798.
15. FANTI, M. P., MAIONE, B. and TURCHIANO, B.,2001, Distributed event-control for deadlock avoidance in automated manufacturing systems. International Journal of Production Research, 39, 1993-2021.
16. FANTI, M. P., MAIONE, B., MASCOLO, S. and TURCHIANO, B., 1997, Event based feedback control for deadlock avoidance in flexible production systems. IEEE Transactions on Robotics and Automation, 13, 347-363.
17. FELDMANN, K. and COLOMBO, A. W., 1998, Material flow and control sequence specification of flexible systems using coloured Petri nets. International Journal of Advanced Manufacturing Technology, 14, 760-774.
18. HARARY, F., 1971, Graph Theory (Reading, MA: Addison-Wesley).
19. HSIEH, F. S. and CHANG, S. C., 1994, Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing system. IEEE Transactions on Robotics and Automation, 10, 196-209.
20. HSIEH, S., 1998, Synthesis of AGVS by coloured-timed Petri nets. International Journal of Computer Integrated Manufacturing, 11, 334-346.
21. HUANG, Y., JENG, M., XIE, X. and CHANG, S., 2001, Deadlock prevention policy based on Petri nets and siphons. International Journal of Production Research, 39, 283-305.
22. JENSEN, K., 1992, Colored Petri Nets, Basic Concepts, Analysis methods and Practical Use, Vol. 1. EATS Monograph and Theoretical Computer Science (New York: Springer).
23. JIANG, Z., ZUO, M. J., FUNG, R. Y. K. and TU, P. Y., 2000, Temporized coloured Petri nets with changeable structure (CPN-CS) for performance modelling of dynamic production systems. International Journal of Production Research, 38, 1917-1945.
24. KELTON, W. D., SADOWSKI, R. P. and SADOWSKI, D. A., 1998, Simulation with Arena (Boston McGraw-Hill).
25. KIM, C. W. and TANCHOCO, J. M. A., 1991, Conflict-free shortest bi-directional AGV routing. International Journal of Production Research, 29, 2377-2391.
26. KUMARAN, T. K., CHANG, W., CHO, H. and WYSK, R. A., 1994, A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems. International Journal of Production Research, 32, 2361-2379.
27. LAWLEY, M. A., 2000, Integrating flexible routing and algebraic deadlock avoidance policies in automated manufacturing systems. International Journal of Production Research, 38, 2931-2950.
28. LAWLEY, M. A., REVELIOTIS, S. A. and FERREIRA, P. M., 1998, A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 14, 796-809.
29. LEE, C. C. and LIN, J. T., 1995, Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems. International Journal of Production Research, 33, 3249-3265.
30. LO RE, A., 2002, Deadlock avoidance strategies in automated guided vehicle systems modelled by coloured Petri nets. Degree thesis, Polytechnic of Bari.
31. MOORE, K. E. and GUPTA, S. M., 1996, Petri net models of flexible and automated manufacturing systems: a survey. International Journal of Production Research, 34, 3001-3035.
32. NANDULA, M. and DUTTA, S. P., 2000, Performance evaluation of an auction-based manufacturing system using coloured Petri nets. International Journal of Production Research, 38, 2155-2171.
33. OBOTH, C., BATTA, R. and KARWAN, M., 1999, Dynamic conflict-free routing of automated guided vehicles. International Journal of Production Research, 37, 2003-2030.
34. RAJOTIA, S., SHANKER, K. and BATRA, J. L., 1998a, A semi-dynamic time window constrained routeing strategy in an AGV system. International Journal of Production Research, 36, 35-50.
35. RAJOTIA, S., SHANKER, K. and BATRA, J. L., 1998b, An heuristic for configuring a mixed uni/bidirectional flow path for an AGV system. International Journal of Production Research, 36, 1779-1799.
36. REINGOLD, E. M., NIEVERGELT, J. and DEO, N., 1977, Combinatorial Algorithms. Theory and Practice (Englewood Cliffs: Prentice-Hall).
37. REVELIOTIS, S. A., 2000, Conflict resolution in AGV systems. IIE Transactions, 32, 647-659.
38. REVELIOTIS, S. A. and FERREIRA, P. M., 1996, Deadlock avoidance policies for automated manufacturing cells, IEEE Transactions on Robotics and Automation, 12, 845-857.
39. REVELIOTIS, S. A., LAWLEY, M. A. and FERREIRA, P. M., 1997, Polynomial complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Automatic Control, 42, 1344-1357.
40. THE MATHWORKS, Inc., 1997, Stateflow User's Guide Version 4 (Natick, MA: MathWorks).
41. VISWANADHAM, N. and NARAHARI, Y., 1992, Performance Modeling of Automated Manufacturing Systems (Englewood Cliff: Prentice-Hall).
42. VISWANADHAM, N., NARAHARI, Y. and JOHNSON, T. L., 1990, Deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation, 6, 713-722.
43. WALKER, S. P., PREMI, S. K., BESANT, C. B. and BROADBENT, A. J., 1985, The Imperial College free-ranging AGV (ICAGV) and scheduling system. In S. E. Andersson (ed.), Proceedings of the 3rd International Conference on Automated Guided Vehicle Systems, Stockholm, Sweden, pp. 189-198.
44. WU, N. and ZENG, W., 2002, Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model. International Journal of Production Research, 40, 223-238.
45. WU, N. and ZHOU, M. C., 2001, Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Transactions on Robotics and Automation, 17, 657-668.
46. WYSK, R. A., YANG, N. S. and JOSHI, S., 1991, Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation, 7, 853-859.
47. XING, K. Y., HU, B. S. and CHEN, H. X., 1996, Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control, 41, 289-295.
48. YEH, M. S. and YEH, W. C., 1998, Deadlock prediction and avoidance for zone-control AGVS. International Journal of Production Research, 36, 2879-2889.
49. ZENG, L., WANG, H. P. and JIN, S., 1991, Conflict detection of automated guided vehicles. International Journal of Production Research, 29, 865-879.