A method for the synthesis of liveness enforcing supervisors in Petri nets

Proceedings of the American Control Conference

Volumn 6, Issue , 2001, Pages 4943-4948

  Iordache, M V ^a   Moody, J O ^a   Antsaklis, P J ^a  

^a University of Notre Dame   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LINEARIZATION; OBSERVABILITY; PETRI NETS; SCADA SYSTEMS;

LINEAR MARKING INEQUALITY; LIVENESS ENFORCING SUPERVISORS;

CONTROL SYSTEM SYNTHESIS;

EID: 0034854027     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/acc.2001.945768     Document Type: Conference Paper

References (12)

1. On liveness and controlled siphons in Petri nets
2. A Petri net based deadlock prevention policy for flexible manufacturing systems
3. On the transformation of maximally permissive marking-based supervisors into monitor supervisors
4. Automated synthesis of deadlock prevention supervisors using Petri nets
5. Automated synthesis of liveness enforcement supervisors using Petri nets
6. A method for the synthesis of deadlock prevention controllers in systems modeled by Petri nets
7. The linear algebra of deadlock avoidance - a petri net approach
8. Petri nets: Properties, analysis and applications
9. An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets
10. On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement
11. Feedback control of petri nets based on place invariants