Decomposition of the supervisory control problem for petri nets under preservation of maximal permissiveness

IEEE Transactions on Automatic Control

Volumn 46, Issue 9, 2001, Pages 1490-1496

  Stremersch, G ^a   Boel, R K ^a  

^a GHENT UNIVERSITY   (Belgium)

Author keywords

Control systems; Discrete event system; Petri nets; Safety

Indexed keywords

CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; FEEDBACK CONTROL; MATHEMATICAL MODELS; PETRI NETS; SET THEORY; VECTORS;

CONTROLLED PETRI NET MODEL; DISCRETE EVENT SYSTEM;

SCADA SYSTEMS;

EID: 0035441187     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.948484     Document Type: Article

References (7)

1. Control of vector discrete-event systems - Part 2: Controller synthesis
2. Synthesis of feedback control logic for a class of controlled Petri nets
3. Synthesis of feedback control logic for discrete manufacturing systems
4. Controlled Petri nets and general legal sets
5. Structuring acyclic Petri nets for reachability analysis and control
6. Reduction of the supervisory control problem for Petri nets