Overlapping decompositions and expansions of Petri nets

IEEE Transactions on Automatic Control

Volumn 47, Issue 3, 2002, Pages 511-515

  Aybar, Aydm ^a   Iftar, Altug ^a  

^a ANADOLU UNIVERSITY   (Turkey)

Author keywords

Discrete event systems (DESs); Inclusion principle; Large scale systems; Overlapping decompositions; Petri nets

Indexed keywords

DISCRETE TIME CONTROL SYSTEMS; LARGE SCALE SYSTEMS; SET THEORY; THEOREM PROVING; VECTORS;

DISCRETE-EVENT SYSTEMS (DES);

PETRI NETS;

EID: 0036493280     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.989151     Document Type: Article

References (13)

1. Blocking and controllability of Petri nets in supervisory control
2. On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
3. Decentralized discrete-event systems and computational complexity
4. Overlapping decentralized control with input, state, and output inclusion
5. Decentralized LQG/LTR controller design for interconnected systems
6. Overlapping decompositions, expansions, and contractions of dynamic systems
7. Overlapping decompositions, expansions, contractions, and stability of hybrid systems
8. Decentralized routing control using overlapping decompositions
9. Decentralized routing controller design using overlapping decompositions