Design of T-Liveness Enforcing Supervisors in Petri Nets

IEEE Transactions on Automatic Control

Volumn 48, Issue 11, 2003, Pages 1962-1974

  Iordache, Marian V ^a   Antsaklis, Panos J ^a  

^a University of Notre Dame   (United States)

Author keywords

Deadlock prevention; Liveness; Petri nets (PNs)

Indexed keywords

COMPUTER SIMULATION; CONTROL EQUIPMENT; INTEGER PROGRAMMING; ITERATIVE METHODS; MATRIX ALGEBRA; PETRI NETS;

DEADLOCK PREVENTION;

LINEAR CONTROL SYSTEMS;

EID: 0344395587     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2003.819078     Document Type: Article

References (20)

1. R. Valk and M. Jantzen, "The residue of vector sets with applications to decidability problems in Petri nets," Acta Inform., vol. 21, pp. 643-674, 1985.
2. J. Ezpeleta, J. M. Colom, and J. Martínez, "A Petri net based dead-lock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, Apr. 1995.
3. J. Park and S. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Automat. Contr., vol. 46, pp. 1572-1583, Oct. 2001.
4. F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpeleta, "New methods for deadlock prevention and avoidance in concurrent systems," Actas de las Jornadas de Concurrencia 2000, pp. 97-110, June 2000.
5. R. S. Sreenivas, "An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets," Automatica, vol. 44, no. 12, pp. 1613-1615, Dec 1998.
6. _, "On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement," IEEE Trans. Automat. Contr., vol. 44, pp. 173-177, Jan. 1999.
7. K. He and M. Lemmon, "Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods," IEEE Trans. Automat. Contr., vol. 47, pp. 1042-1055, July 2002.
8. J. Park and S. Reveliotis, "Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states," IEEE Trans. Robot. Automat., vol. 18, pp. 234-240, Apr. 2002.
9. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, "A method for the synthesis of deadlock prevention controllers in systems modeled by Petri nets," in Proc. 2000 Amer. Control Conf., 2000, pp. 3167-3171.
10. M. V. Iordache, "Synthesis of deadlock prevention supervisors using Petri nets," IEEE Trans. Robot. Automat., vol. 18, pp. 59-68, Feb. 2002.
11. K. Lautenbach and H. Ridder, "The linear algebra of deadlock avoidance - A Petri net approach," Univ. Koblenz, Inst. Comput. Sci., Germany, Tech. Rep., 1996.
12. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Int. Conf. Systems, Man, Cybernetics, 1992, pp. 974-979.
13. J. O. Moody and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. Norwell, MA: Kluwer, 1998.
14. E. Yamalidou, J. O. Moody, P. J. Antsaklis, and M. D. Lemmon, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, 1996.
15. R. S. Sreenivas, "On a free-choice equivalent of a Petri net," in Proc. 36th IEEE Int. Conf. Decision Control, 1997, pp. 4092-4097.
16. J. O. Moody and P. J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Trans. Automat. Contr., vol. 45, pp. 462-476, Mar. 2000.
17. K. Barkaoui and I. Abdallah, "Deadlock avoidance in fmss based on structural theory of petri nets," in Proc. IEEE Symp. Emerging Technologies Factory Automation, 1995.
18. K. Barkaoui and J. F. Pradat-Peyre, "On liveness and controlled siphons in petri nets," in Application and Theory of Petri Nets. New York: Springer-Verlag, 1996, vol. 1091, LNCS, pp. 57-72.
19. M. V. Iordache and P. J. Antsaklis, "Generalized conditions for liveness enforcement and deadlock prevention in Petri nets," in Application and Theory of Petri Nets. New York: Springer-Verlag, 2001, vol. 2075, LNCS, pp. 184-203.
20. M. V. Iordache, "Methods for the supervisory control of concurrent systems based on Petri net abstractions," Ph.D. dissertation, Univ. Notre Dame, Notre Dame, IN, 2003.