Synthesis of deadlock prevention supervisors using Petri nets

IEEE Transactions on Robotics and Automation

Volumn 18, Issue 1, 2002, Pages 59-68

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

^a IEEE

^b University of Notre Dame   (United States)

^c LOCKHEED MARTIN   (United States)

Author keywords

Deadlock prevention; Petri nets; Supervisory control

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; CONSTRAINT THEORY; CONTROL SYSTEM SYNTHESIS; FINITE AUTOMATA; MATHEMATICAL MODELS; OPTIMIZATION; PETRI NETS; SUPERVISORY AND EXECUTIVE PROGRAMS; THEOREM PROVING;

ACTIVE SIPHON; ACTIVE SUBNET; CONTROL PLACE; DEADLOCK PREVENTION; INITIAL CONSTRAINTS; LINEAR INTEGER INEQUALITIES; SUPERVISORY CONTROL;

COMPUTER SYSTEM RECOVERY;

EID: 0036476833     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.988975     Document Type: Article

References (15)

1. Feedback control of PN's based on place invariants
2. Generalized mutual exclusion constraints on nets with uncontrollable transitions
3. A PN deadlock prevention policy for flexible manufacturing systems
4. Deadlock avoidance policy for PN modeling of flexible manufacturing systems with shared resources
5. The linear algebra of deadlock avoidance-A PN' approach
6. Supervisory control of discrete event systems using structure theory of PN's
7. Deadlock avoidance in FMSS based on structural theory of PN's
8. A deadlock prevention method for a class of fms
9. Structural analysis of workflow nets with shared resources
10. On liveness and controlled siphons in PN's
11. Generalized conditions for liveness enforcement and deadlock prevention in PN's
12. PNs: Properties analysis and applications
13. Automated synthesis of deadlock preventions supervisors using PN's