A maximally permissive deadlock prevention policy for FMS based on petri net siphon control and the theory of regions

IEEE Transactions on Automation Science and Engineering

Volumn 5, Issue 1, 2008, Pages 182-188

  Li, Zhiwu ^a,b   Zhou, MengChu ^c,d   Jeng, MuDer ^e  

^a XIDIAN UNIVERSITY   (China)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d INSTITUTE OF AUTOMATION   (China)

^e NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

Author keywords

Deadlock prevention; Flexible manufacturing system; Petri net; Siphon; Theory of regions

Indexed keywords

COMPUTATION THEORY; COST REDUCTION; PETRI NETS; PROBLEM SOLVING; PROCESS CONTROL;

DEADLOCK PREVENTION POLICY; SIPHON CONTROL; THEORY OF REGIONS;

FLEXIBLE MANUFACTURING SYSTEMS;

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

References (21)

1. E. Badouel and P. Darondeau, "Theory of regions," in Lectures on Petri Nets I: Basic Models, LNCS, W. Reisig and G. Rozenberg, Eds. Berlin, Germany: Springer-Verlag, 1998, vol. 1491, pp. 529-586.
2. K. Barkaoui and B. Lemaire, "An effective characterization of minimal deadlocks and traps in Petri nets based on graph theory," in Proc. 10th Int. Conf. ATPN, Bonn, Germany, 1989, pp. 1-21.
3. T. H. Gormen, C. E. Leiserson, and R. L. Rivest, Introduction to Algorithms. Cambridge, MA/New York: MIT Press/McGraw-Hill, 1992.
4. 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.
5. M. P. Fanti, B. Maione, S. Mascolo, and A. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production system," IEEE Trans. Robot. Autom., vol. 13, no. 3, pp. 347-363, Jun. 1997.
6. A. Ghaffari, N. Rezg, and X. L. Xie, "Design of a live and maximally permissive Petri net controller using the theory of regions," IEEE Trans. Robot. Autom., vol. 19, no. 1, pp. 137-142, Feb. 2003.
7. M. V. Iordache, J. 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.
8. K. Lautenbach and H. Ridder, "Liveness in bounded Petri nets which are covered by T-invariants," in Proc. 13th Int. Conf. ATPN, Lecture Notes Computer Science, R. Valette, Ed., 1994, vol. 815, pp. 358-375.
9. M. A. Lawley and S. A. Reveliotis, "Deadlock avoidance for sequential resource allocation systems: Hard and ease cases," Int. J. Flex. Manuf. Syst., vol. 12, pp. 385-404, 2001.
10. M. A. Lawley, S. A. Reveliotis, and P. M. Ferreira, "A correct and scalable deadlock avoidance policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 14, no. 5, pp. 796-809, Oct. 1998.
11. 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, Cybem. A. Syst., Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
12. K. L. McMillan, "A technique for state space search based on unfoldings," Formal Meth. Syst. Design, vol. 6, pp. 45-65, 1995.
13. A. S. Miner and G. Ciardo, "Efficient reachability set generation and storage using decision diagrams," in Proc. 20th Int. Conf. ATPN, Lecture Notes Computer Sci., S. Donatelli and J. Kleijn, Eds., 1999, vol. 1639, pp. 6-25.
14. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
15. J. Park and S. A. 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.
16. J. Park and S. A. Reveliotis, "Policy mixtures: A novel approach for enhancing the operational flexibility of resource allocation systems with alternate routings," IEEE Trans. Robot. Autom., vol. 18, pp. 616-620, Aug. 2002.
17. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 4, pp. 81-98, Apr. 1989.
18. S.A. Reveliotis, M. A. Lawely, and P. M. Ferreira, "Polynomial- complexity deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Autom. Control, vol. 42, no. 10, pp. 1344-1357, Oct. 1997.
19. 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. Tech., vol. 19, pp. 192-208, Feb. 2002.
20. K. Yamalidou, J. O. Moody, M. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, pp. 15-18, 1996.
21. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources," IEEE Trans. Robot. Autom., vol. 7, no. 4, pp. 515-527, Aug. 1991.