An application of independent, increasing, Free-Choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets

Automatica

Volumn 34, Issue 12, 1998, Pages 1613-1615

  Sreenivas, Ramavarapu S ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Discrete event dynamic systems; Petri nets; Supervisory control

Indexed keywords

FUNCTIONS; MATHEMATICAL MODELS; SET THEORY; VECTORS;

DISCRETE EVENT DYNAMIC SYSTEMS; INITIAL MARKING FUNCTION;

PETRI NETS;

EID: 0032298247     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0005-1098(98)80016-2     Document Type: Article

References (8)

1. Hack, M. H. T. (1974). Extended state-machine allocatable nets (ESMA): an extension of free choice Petri net results, Project MAC, Massachusetts Institute of Technology, CSGM-78-1, June.
2. Murata, T. (1989). Petri nets: properties, analysis and applications, Proc. IEEE, 77(4), 541-580.
3. Peterson, J. L. (1981). Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ.
4. Reisig, W. (1985). Petri Nets, Springer, Berlin.
5. Sreenivas, R. S. (1997a). An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets, Technical Report UILU-ENG-97-2232, DC-183, University of Illinois.
6. Sreenivas, R. S. (1997b). On a free-choice equivalent of a Petri net, In Proc. 36th IEEE Conf. on Decision and Control. San Diego, CA.
7. Sreenivas, R. S. (1997c). On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets, Systems & Control Lett., 31, 41-48.
8. Sreenivas, R. S. (1997d). On the existence of supervisory policies that enforce liveness in discrete event dynamic systems modeled by controlled Petri nets, IEEE Trans. Automat. Control, 42, 928-945.