Siphon-based deadlock prevention policy for flexible manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 36, Issue 6, 2006, Pages 1248-1256

  Huang, Yi Sheng ^a   Jeng, MuDer ^b   Xie, Xiaolan ^c   Chung, Da Hsiang ^a  

^a NATIONAL DEFENSE UNIVERSITY   (Taiwan)

^b NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

^c ECOLE DES MINES DE SAINT ETIENNE   (France)

Author keywords

Deadlock; Manufacturing systems; Petri nets; Siphon

Indexed keywords

ADAPTIVE CONTROL SYSTEMS; ALGORITHMS; FLEXIBLE MANUFACTURING SYSTEMS; ITERATIVE METHODS; MATHEMATICAL MODELS;

DEADLOCK PREVENTION; ORDINARY CONTROL; SIPHON-BASED ALGORITHM;

PETRI NETS;

EID: 33750592564     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2006.878953     Document Type: Article

References (20)

1. K. Barkaoui and I. B. Abdallah, "Deadlock avoidance in FMS based on structural theory of Petri nets," in Proc. IEEE Symp. Emerg. Technol. Fact. Autom., Oct. 1995, pp. 499-510.
2. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793-804, Dec. 1997.
3. J. Ezpeleta, J. M. 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.
4. M. P. Fanti, B. Maione, S. Mascolo, and A. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robot. Autom., vol. 13, no. 3, pp. 347-363, Jun. 1997.
5. F. S. Hsieh and S. C. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 10, no. 2, pp. 196-209, Apr. 1994.
6. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, "A deadlock prevention policy based on Petri nets and siphons," Int. J. Prod. Res., vol. 39, no. 2, pp. 283-305, Jan. 2001.
7. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, "A deadlock prevention policy for flexible manufacturing systems by siphons," in Proc. IEEE Int. Conf. Robot. Autom., Seoul, Korea, 2001, pp. 541-546.
8. Y. S. Huang and M. D. Jeng, "An algorithm of deadlock prevention for flexible manufacturing systems," in Proc. IEEE Int. Conf. Syst., Man, and Cybern., Hammamet, Tunisia, 2002, pp. 168-173.
9. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, "Synthesis of deadlock prevention supervisors using Petri nets," IEEE Trans. Robot. Autom., vol. 18, no. 1, pp. 59-68, Feb. 2002.
10. M. V. Iordache and P. J. Antsaklis, "Design of T-liveness enforcing supervisors in Petri nets," IEEE Trans. Autom. Control, vol. 48, no. 11, pp. 1962-1974, Nov. 2003.
11. M. D. Jeng and X. L. Xie, "Analysis of modularly composed nets by siphons," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 29, no. 4, pp. 399-406, Jul. 1999.
12. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
13. J. Park and S. A. Reveliotis, "Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Robot. Autom., vol. 16, no. 2, pp. 190-195, Apr. 2000.
14. J. Park and S. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Autom. Control, vol. 46, no. 10, pp. 1572-1583, Oct. 2001.
15. T. Murata, "Petri nets: Properties, analysis and application," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
16. F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpeleta, "A structural approach to the problem of deadlock prevention in processes with resources," in Proc. 4th Workshop Discrete Event Syst., 1998, pp. 272-278.
17. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 713-723, Dec. 1990.
18. M. Uzam, "An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions," Int. J. Adv. Manuf. Technol., vol. 19, no. 3, pp. 192-208, Feb. 2002.
19. M. Uzam, "The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems," Int. J. Adv. Manuf. Technol., vol. 23, no. 3/4, pp. 204-219, Feb. 2004.
20. M. C. Zhou and M. D. Jeng, "Modeling analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach," IEEE Trans. Semicond. Manuf., vol. 11, no. 3, pp. 333-357, Aug. 1998.