Structuring acyclic Petri nets for reachability analysis and control

Discrete Event Dynamic Systems: Theory and Applications

Volumn 12, Issue 1, 2002, Pages 7-41

  Stremersch, G ^a   Boel, R K ^a  

^a GHENT UNIVERSITY   (Belgium)

Author keywords

Acyclic Petri net; Petri net; Supervisory control; Uncontrollable transitions

Indexed keywords

ALGORITHMS; CLOSED LOOP CONTROL SYSTEMS; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; FEEDBACK CONTROL; FORMAL LOGIC; MATHEMATICAL TRANSFORMATIONS; MATRIX ALGEBRA; ONLINE SYSTEMS; PETRI NETS;

ACYCLIC PETRI NETS; REACHABILITY ANALYSIS; UNCONTROLLABLE TRANSITIONS;

SCADA SYSTEMS;

EID: 0036160619     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1013331703036     Document Type: Article

References (18)

1. A min-plus polynomial approach to forbidden state control for general Petri nets
2. Free choice Petri nets number 40
3. Generalized mutual exclusion constraints on nets with uncontrollable transitions
4. Petri net supervisors for generalized mutual exclusion constraints
5. Synthesis of feedback control logic for a class of controlled Petri nets
6. A survey of Petri net methods for controlled discrete event systems
7. A generalization of state avoidance policies for controlled Petri nets
8. Analysis and control of discrete event systems represented by Petri nets
9. The novel algorithm for determining the reachability in acyclic Petri nets
10. Control of vector discrete-event systems-Part 2: Controller synthesis
11. Petri net supervisors for DES with uncontrollable and unobservable transitions
12. Petri nets: Properties, analysis and applications
13. Controlled Petri nets and general legal sets
14. Reduction of the supervisory control problem for Petri nets
15. Maximally permissive feedback and modular control synthesis in Petri nets with external input places
16. Feedback control of Petri nets based on place invariants