Implicit siphon control and its role in the liveness-enforcing supervision of sequential resource allocation systems

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

Volumn 37, Issue 3, 2007, Pages 319-328

  Reveliotis, Spyros A ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

Deadlock resolution and liveness enforcing supervision; Sequential resource allocation systems; System design and verification using Petri nets (PNs)

Indexed keywords

CHARACTERIZATION; PETRI NETS; RESOURCE ALLOCATION; SIPHONS; SYSTEMS ANALYSIS;

DEADLOCK RESOLUTION; LIVENESS-ENFORCING SUPERVISION; SQUENTIAL RESOURCE ALLOCATION SYSTEM;

CONTROL SYSTEMS;

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

References (14)

1. 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.
2. J. Desel and J. Esparza, Free Choice Petri Nets. Cambridge, U.K.: Cambridge Univ. Press, 1995.
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. Jeng, X. Xie, and M. Y Peng, "Process nets with resources for manufacturing modeling and their analysis," IEEE Trans. Robot. Autom., vol. 18, no. 6, pp. 875-889, Dec. 2002.
5. J. Park and S. 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.
6. 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.
7. S. A. Reveliotis, "On the siphon-based characterization of liveness in sequential resource allocation systems," in Proc. Appl. and Theory Petri Nets, 2003, pp. 241-255.
8. 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.
9. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
10. S. A. Reveliotis, Real-time Management of Resource Allocation Systems: A Discrete Event Systems Approach. New York: Springer-Verlag, 2005.
11. W. L. Winston, Introduction to Mathematical Programming: Applications and Algorithms, 2nd ed. Belmont, CA: Duxbury Press, 1995.
12. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Int. Conf. Syst., Man and Cybern., 1992, pp. 974-979.
13. J. O. Moody and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. Boston, MA: Kluwer, 1998.
14. 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 Discr. Event Syst., 1998, pp. 273-278.