A deadlock avoidance approach for non-sequential resource allocation systems

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 2, Issue , 2002, Pages 363-368

  Ezpeleta, J ^a   Recalde, L ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Assembly disassembly Systems; Banker's algorithm; Concurrent systems; Deadlock avoidance

Indexed keywords

ALGORITHMS; CONCURRENT ENGINEERING; PETRI NETS; PROBLEM SOLVING;

RESOURCE ALLOCATION SYSTEMS;

RESOURCE ALLOCATION;

EID: 0036979316     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. [BK90] Z.A. Banaszak and B.H. Krogh. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. on Robotics and Automation, 6(6):724-734, December 1990.
2. [CX97] Feng Chu and Xiaolan Xie. Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation, 13(6):793-804, December 1997.
3. [ECM95] J. Ezpeleta, J.M. Colom, and J. Martínez, A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. on Robotics and Automation, 11(2):173-184, April 1995.
4. [ER02] J. Ezpeleta and L. Recalde. A deadlock avoidance approach for non-sequential resource allocation systems. Research Report RR-02-05, Dept. of Computer Science. University of Zaragoza, Maria de Luna, 3 - 50018-Zaragoza. Spain, May 2002.
5. [ETGC] J. Ezpeleta, F. Tricas, F. García-Vallés, and J.M. Colom. A Banker's solution for deadlock avoidance in FMS with routing flexibility and multi-resource states. To appear in IEEE Transactions on Robotics and Automation.
6. [Jen96] M.D. Jeng. A Petri net synthesis theory for modeling flexible manufacturing systems. IEEE Trans. on Systems, Man and Cybernetics-Part B: Cybernetics, 27(2):169-183, April 1996.
7. [LRF97] M. Lawley, S. Reveliotis, and P. Ferreira. FMS structural control and the neighborhood policy: Part 1 correctness and scalability. IIE Transactions, (29):877-887, 1997.
8. [Rev98] S. Reveliotis. Accommodating FMS operational contingencies though routing flexibility. In Proceedings of the 1998 Int. Conference on Robotics and Automation, pages 573-579, Leuven, Belgium, may 1998. IEEE.
9. [RR92] Z.Banaszak R.Wojcik and E. Roszkowska. Automation of self-recovery resource allocation procedures synthesis in FMS. In K. Leiviska, editor, IFAC CIM in Process and manufacturing Industries, pages 127-132, Espoo, Finland, 1992. Oxford: pergamon press.
10. [RW92] E. Roszkowska and R. Wojcik. Problems of process flow feasibility in FAS. In K. Leiviska, editor, IFAC CIM in Process and manufacturing Industries, pages 115-120, Espoo, Finland, 1992. Oxford: pergamon press.
11. [VNJ90] N. Viswanadham, Y. Narahari, and T.L. Johnson. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. on Robotics and Automation, 6(6):713-723, December 1990.
12. [XJ99] Xiaolan Xie and MuDer Jeng. ERCN-merged nets and their analysis using siphons. IEEE Transactions on Robotics and Automation, 15(4):692-703, aug 1999.