Method for the synthesis of deadlock prevention controllers in systems modeled by Petri nets

Proceedings of the American Control Conference

Volumn 5, Issue , 2000, Pages 3167-3171

  Iordache, Marian V ^a   Moody, John O ^a   Antsaklis, Panos J ^a  

^a UNIVERSITY OF NOTRE DAME   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; COMPUTER SYSTEM RECOVERY; LINEAR SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; THEOREM PROVING;

DEADLOCK PREVENTION METHODS; LINEAR INTEGER INEQUALITIES;

CONTROL SYSTEM SYNTHESIS;

EID: 0034548519     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)