On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement

IEEE Transactions on Automatic Control

Volumn 44, Issue 1, 1999, Pages 173-177

  Sreenivas, Ramavarapu S ^a  

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

Author keywords

DEDS; Liveness; Petri nets

Indexed keywords

COMPUTATIONAL COMPLEXITY; PETRI NETS; SCADA SYSTEMS; SET THEORY;

COVERABILITY GRAPH; DISCRETE EVENT DYNAMIC SYSTEMS; SUPERVISORY POLICIES;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0032634879     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.739118     Document Type: Article

References (8)

1. G. Berthelot, "Checking properties of nets using transformations," in Advances in Petri Nets, Lecture Notes in Computer Science, vol. 222. Germany: Springer-Verlag, pp. 19-40, 1985.
2. N. D. Jones, L. H. Landweber, and Y. E. Lien, "Complexity of some problems in Petri nets," Theoretical Computer Sci., vol. 4, pp. 277-299, 1977.
3. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
4. T. Murata, V. B. Le, and D. J. Leu, "A method for realizing the synchronic distance matrix as a marked graph," in IEEE Int. Conf. Circuits and Systems, Rome, Italy, May 1982, pp. 609-612.
5. R. S. Sreenivas, "Enforcing liveness via supervisory control in discrete event dynamic systems modeled by completely controlled Petri nets," in WODES-96: Int. Workshop on Discrete-Event Systems, University of Edinburgh, U.K., Aug. 1996, pp. 296-301.
6. _, "On the existence of supervisory policies that enforce liveness in discrete event dynamic systems modeled by controlled Petri nets," IEEE Trans. Automat. Contr., vol. 42, pp. 928-945, July 1996.
7. _, "On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement," Tech. Rep. UILU-ENG-97-2226, Univ. Illinois, vol. DC-182, Sept. 1997.
8. I. Suzuki and T. Murata, "A method for stepwise refinement and abstraction of Petri nets," J. Computer and Syst. Sci., vol. 27, pp. 51-76, 1983.