Formal technique for the synthesis of Petri net supervisors for discrete event systems

IEE Conference Publication

Volumn , Issue 455, 1998, Pages 845-852

  Jones, A H ^a   Uzam, M ^a  

^a UNIVERSITY OF SALFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEM SYNTHESIS; CONTROL THEORY; FINITE AUTOMATA; MANUFACTURE; PETRI NETS; PROBLEM SOLVING; SCADA SYSTEMS;

DISCRETE EVENT SYSTEM; SUPERVISOR CONTROL PROBLEM;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0031618505     PISSN: 05379989     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)