On a minimally restrictive supervisory policy that enforces liveness in partially controlled free choice Petri Nets

Proceedings of the IEEE Conference on Decision and Control

Volumn 3, Issue , 2000, Pages 2651-2656

  Sreenivas, R S ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEM SYNTHESIS; PETRI NETS; SCADA SYSTEMS; VECTORS;

FREE CHOICE PETRI NET; SUPERVISORY POLICY;

CONTROL SYSTEM ANALYSIS;

EID: 0034438485     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Extended state machine allocatable nets (ESMA): An extension of free-choice Petri net results
2. A survey of Petri net methods for controlled discrete event systems
3. Assignment program model for control of infinite state systems
4. On a free-choice equivalent of a Petri net
5. On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets
6. On the existence of supervisory policies that enforce liveness in discrete event dynamic systems modeled by controlled Petri nets
7. An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets
8. On readily available supervisory control policies that enforce liveness in a class of completely controlled Petri nets
9. On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions
10. On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement
11. On partially controlled free choice Petri nets