Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places

Automatica

Volumn 42, Issue 6, 2006, Pages 995-1004

  Basile, Francesco ^a   Chiacchio, Pasquale ^a   Giua, Alessandro ^b  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Discrete event systems; Monitors; Petri nets; Supervisory control

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; CONTROL EQUIPMENT; DIFFERENTIAL EQUATIONS; PARAMETER ESTIMATION; SPECIFICATIONS;

GENERALIZED MUTUAL EXCLUSION CONSTRAINTS (GMEC); LEGAL MARKINGS; SUPERVISORY CONTROL; UNCONTROLLABLE SPECIFICATIONS;

PETRI NETS;

EID: 33646147350     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2006.02.003     Document Type: Article

References (11)

1. Ghaffari A., Rezg N., and Xie X. Design of a live and maximally permissive Petri net controller using the theory of region. IEEE Transactions on Robotics and Automation 19 1 (2003) 137-142
2. Giua, A., DiCesare, F., & Silva, M., 1992. Generalized mutual exclusion constraints on nets with uncontrollable transitions. 1992 IEEE international conference on systems, man, and cybernetics (Chigago, Illinois) (pp. 974-979).
3. Holloway L.E., Krogh B.H., and Giua A. A survey of Petri nets methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 7 2 (1997) 151-190
4. Iordache M.V., and Antsaklis P.J. Synthesis of supervisors enforcing general linear vector constraints in Petri nets. IEEE Transactions on Automatic Control 48 11 (2003) 2036-2039
5. Krogh B.H., and Holloway L.E. Synthesis of feedback control logic for discrete manufacturing systems. Automatica 27 4 (1991) 641-651
6. Li Y., and Wonham W.M. Control of vector discrete-event systems II-controller synthesis. IEEE Transactions on Automatic Control 39 3 (1994) 512-531
7. Moody J., and Antsaklis P. Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Transactions on Automatic Control 45 3 (2000) 462-476
8. Moody, J.O., Lemmon, M.D., & Antsaklis, P., 1996. Supervisory control of Petri nets with uncontrollable/unobservable transitions. 35th IEEE conference on decision and control (Kobe, Japan), vol. 4, (pp. 4433-4438).
9. Ramadge P.J., and Wonham W.M. The control of discrete-event systems. Proceedings of IEEE 77 1 (1989) 81-98
10. Stremersch, G. (2000). Linear algebraic design of supervisors for partially observed Petri nets. IFAC conference on control system design. Bratislava, Slovak Republic.
11. Zhou M.C., and DiCesare F. Petri net synthesis for discrete event control of manufacturing systems (1993), Kluwer Academic Publishers, Dordrecht