On the existence of supervisory policies that enforce liveness in partially controlled free-choice petri nets

IEEE Transactions on Automatic Control

Volumn 57, Issue 2, 2012, Pages 435-449

  Sreenivas, R S ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

Discrete event systems; Petri net (PN); supervisory control

Indexed keywords

FREE-CHOICE PETRI NETS; INITIAL MARKING; LIVENESS; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION;

PETRI NETS;

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

References (24)

1. J. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
2. C. Reutenauer, The Mathematics of Petri Nets. Hertforshire, U.K.: Masson and Prentice Hall International (UK) Ltd, 1990.
3. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
4. A. Giua, "Petri nets as discrete event models for supervisory control," Ph.D. dissertation, ECSE Department, Rensselaer Polytechnic Inst., Troy, NY, 1992.
5. J. Moody and P. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. Boston, MA: Kluwer Academic, 1998.
6. M. Iordache and P. Ansaklis, Supervisory control of Concurrent Systems: A Petri Net Structural Approach. Boston, MA: Kulwer Academic, 2006.
7. S. Reveliotis, Real-Time Management of Resource Allocation Systems: A Discrete-Event Systems Approach. New York: Springer, 2005.
8. S. Reveliotis, E. Roszkowska, and J. Choi, "Generalized algebraic deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Autom. Control, vol. 53, no. 12, pp. 2345-2350, Jul. 2007.
9. A. Ghaffari, N. Rezg, and X. Xie, "Design of a live and maximally permissive Petri net controller using the theory of regions," IEEE Trans. Rob. Autom., vol. 19, no. 1, pp. 137-142, Jan. 2003.
10. M. Hack, "Analysis of production schemata by Petri nets," Master's thesis, Massachusetts Inst. Technol., Cambridge, MA, Feb. 1972.
11. J. Desel and J. Esparza, Free Choice Petri Nets, ser. Cambridge Tracts in Theoretical Computer Science. Cambridge, U.K.: Cambridge Univ. Press, 1995.
12. R. Valk and M. Jantzen, "The residue of vector sets with applications to decidability problems in Petri nets," Acta Inf., vol. 21, pp. 643-674, 1985.
13. H.-C. Yen and C.-L. Chen, "On minimal elements of upward-closed sets," Theor. Comput. Sci., vol. 410, no. 24-25, pp. 2442-2452, 2009.
14. E. Mayr, "An algorithm for the general Petri net reachability problem," SIAM J. Comput., vol. 13, pp. 441-460, 1984.
15. W. Reisig, Petri Nets. Berlin, Germany: Springer-Verlag, 1985.
16. M. Garey and D. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness. New York: W.H. Freeman, 1979.
17. R. Sreenivas, "On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets," IEEE Trans. Autom. Control, vol. 42, no. 7, pp. 928-945, Jul. 1997.
18. D. Osherson, M. Stob, and S.Weinstein, Systems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists. Cambridge, MA: The MIT Press, 1986.
19. R. Sreenivas, "Some observations on supervisory policies that enforce liveness in partially controlled free choice Petri nets," Math. Compu. Simul., vol. 70, pp. 266-274, 2006.
20. R. Sreenivas, "On Commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets," Syst. Control Lett., vol. 31, pp. 41-48, 1997.
21. N. Cutland, Computability: An Introduction to Recursive Function Theory. Cambridge, U.K.: Cambridge Univ. Press, 1980.
22. R. Sreenivas, On supervisory policies that enforce liveness in partially controlled free-choice Petri nets Coordinated Science Lab., Univ. Illinois at Urbana-Champaign, Urbana, IL, Tech. Rep. UILU-ENG 10-2205, Oct. 2010.
23. A. Giua and F. DiCesare, "Blocking and controllability of Petri nets in supervisory control," IEEE Trans. Autom. Control, vol. 39, no. 4, pp. 818-823, Apr. 1994.
24. A. Giua and F. DiCesare, "Decidability and closure properties of weak Petri net languages in supervisory control," IEEE Trans. Autom. Control, vol. 40, no. 5, pp. 906-910, May 1995.