Petri Net supervisors for disjunctive constraints

Proceedings of the American Control Conference

Volumn , Issue , 2007, Pages 4951-4956

  Iordache, Marian V ^a   Antsaklis, Panos J ^b  

^a LETOURNEAU UNIVERSITY   (United States)

^b University of Notre Dame   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; MARINE BIOLOGY; PETRI NETS;

(EXTENDED) PETRI NETS; BOUNDEDNESS; DISJUNCTIVE CONSTRAINTS;

SUPERVISORY PERSONNEL;

EID: 46449084381     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2007.4282231     Document Type: Conference Paper

References (13)

1. B. Krogh and L. Holloway, "Synthesis of feedback control logic for manufacturing systems," Automatica, vol. 27, no. 4, pp. 641-651, 1991.
2. M. Tittus and B. Egardt, "Hierarchical supervisory control for batch processes," IEEE Trans. Contr. Syst. Technol., vol. 7, no. 5, pp. 542-554, 1999.
3. M. Iordache and P. Antsaklis, "Design of T-liveness enforcing supervisors in Petri nets," IEEE Trans. Automat. Contr., vol. 48, no. 11, pp. 1962-1974, 2003.
4. J. Park and S. Reveliotis, "Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states," IEEE Trans. Robot. Automat., vol. 18, no. 2, pp. 234-240, 2002.
5. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Internat. Conf. Syst., Man, Cybern., 1992, pp. 974-979.
6. E. Yamalidou and J. Kantor, "Modeling and optimal control of discrete-event chemical processes using Petri nets," Computers and Chemical Engineering, vol. 15, no. 7, pp. 503-519, 1991.
7. A. Giua and C. Seatzu, "Supervisory control of railway networks with Petri nets," in Proc. 40th IEEE Conf. Decision Contr., Dec. 2001, pp. 5004-5009.
8. M. V. Iordache and P. J. Antsaklis, "Synthesis of supervisors enforcing general linear vector constraints in Petri nets," IEEE Trans. Automat. Contr., vol. 48, no. 11, pp. 2036-2039, 2003.
9. G. Stremersch and R. K. Boel, "Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness," IEEE Trans. Automat. Contr., vol. 46, no. 9, pp. 1490-1496, 2001.
10. _, "Structuring acyclic Petri nets for reachability analysis and control," Discrete Event Dynamic Systems, vol. 12, no. 1, pp. 7-41, 2002.
11. M. V. Iordache and P. J. Antsaklis, "A structural approach to the enforcement of language and disjunctive constraints," in Proc. 2005 Amer. Contr. Conf., 2005, pp. 3920-3925.
12. _, Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser, 2006.
13. A. Giua and F. DiCesare, "Supervisory design using Petri nets," in Proc. 30th IEEE Conf. Decision Contr., 1991, pp. 92-97.