Approach for transforming linear constraints on petri nets

IEEE Transactions on Automatic Control

Volumn 56, Issue 12, 2011, Pages 2751-2765

  Luo, Jiliang ^a   Nonami, Kenzo ^b  

^a HUAQIAO UNIVERSITY   (China)

^b CHIBA UNIVERSITY   (Japan)

Author keywords

Discrete event systems; Forbidden states; Linear constraints; Petri nets; Supervisory control

Indexed keywords

CONSTRAINT TRANSFORMATION; COOPERATIVE ALGORITHM; FORBIDDEN MARKINGS; FORBIDDEN STATE; LINEAR CONSTRAINTS; LOGIC EXPRESSIONS; MULTIPLE CONSTRAINT; ORDINARY PETRI NET; REDUNDANT CONSTRAINTS; SUPERVISORY CONTROL; SYNTHESIS METHOD; THEORY OF CONSTRAINT;

ALGORITHMS; CONSTRAINT THEORY; DISCRETE EVENT SIMULATION; MATHEMATICAL TRANSFORMATIONS; PETRI NETS; SUPERVISORY PERSONNEL;

LINEAR TRANSFORMATIONS;

EID: 83255176308     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2011.2128590     Document Type: Article

References (26)

1. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. 1992 IEEE Int. Conf. SMC, Chicago, IL, Oct. 1992, pp. 974-979.
2. A. Giua, "Petri net techniques for supervisory control of discrete event sysems," in Proce 1st Workshop Manufacturing and Petri Nets, Osaka, Japan, Jun. 1996, pp. 1-21.
3. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event system," Discrete Event Dyn. Syst.: Theory Applicat., vol. 7, no. 2, pp. 151-190, 1997. (Pubitemid 127510011)
4. M. V. Iordache and P. J. Antsaklis, "Supervision based on place invariants: A survey," Discrete Event Dyn. Syst.: Theory Applicat., vol. 16, no. 4, pp. 451-492, Dec. 2006. (Pubitemid 44601458)
5. K. Yamalidou, J. O. Moody,M. Lemmon, and P. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, Jan. 1996. (Pubitemid 126337854)
6. J. O. Moody and P. J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Trans. Automat. Control, vol. 45, no. 3, pp. 462-476, Mar. 2000.
7. J. Luo, W. Wu, H. Su, and J. Chu, "Supervisor synthesis for enforcing a class of GMECs on Petri nets," IEEE Trans. Systems, Man, Cybern. A, Syst. Humans, vol. 39, no. 6, pp. 1237-1246, Nov. 2009.
8. Y. Li and W. M. Wonham, "Control of vector discrete-event systems II-Controller synthesis," IEEE Trans. Automat.Control, vol. 39, no. 3, pp. 512-531, Mar. 1994.
9. H. Chen, "Control synthesis of Petri nets based on S-decrease," Discrete Event Dyn. Syst.: Theory Applicat., vol. 10, no. 3, pp. 233-249, 2000.
10. M. V. Iordache and P. J. Antsaklis, "Synthesis of supervisors enforcing general linear constraints in Petri nets," IEEE Trans. Automat. Control, vol. 48, no. 11, pp. 2036-2039, Nov. 2003.
11. F. Basile, P. Chiacchio, and A. Giua, "Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places," Automatica, vol. 42, no. 6, pp. 995-1004 Jun. 2006.
12. A. Ghaffari, N. Rezg, and X. Xie, "Design of a live and maximally permissive Petri net controller using the theory of region," IEEE Trans. Robot. Autom., vol. 19, no. 1, pp. 137-142, Jan. 2003.
13. M. Uzam, "Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions," Int. J. Adv. Manuf. Technol., vol. 24, no. 1-2, pp. 48-69, Jul. 2004.
14. B. H. Krogh and L. E. Holloway, "Synthesis of feedbackcontrol logic for discrete manufacturing systems," Automatica, vol. 27, no. 4, pp. 641-651, Apr. 1991.
15. A. Ghaffari, N. Rezg, and X. Xie, "Feedback control logic for forbidden- state problems of marked graphs: Application to a real manufacturing system," IEEE Trans. Autom. Control, vol. 48, no. 1, pp. 18-29, Jan. 2003.
16. R. K. Boel, L. Ben-Naoum, and V. V. Breusegem, "On forbidden-state problems for a class of controlled Petri nets," IEEE Trans. Autom. Control, vol. 40, no. 10, pp. 1717-1731, Oct. 1995.
17. G. Stremersch and R. K. Boel, "Structuring acyclic Petri nets for reachability analysis and control," Discrete Event Dyn. Syst.: Theory Applicat., vol. 12, no. 1, pp. 7-41, Jan. 2002. (Pubitemid 34138682)
18. L. E. Holloway, X. Guan, and L. Zhang, "A generalization of state avoidance polices for controlled Petri nets," IEEE Trans. Autom. Control, vol. 41, no. 6, pp. 804-816 Jun. 1996. (Pubitemid 126767930)
19. F. Basile, C. Carbone, and P. Chiacchio, "Feedback control logic for backward conflict free choice nets," IEEE Trans. Autom. Control, vol. 52, no. 3, pp. 387-400, Mar. 2007.
20. J. Luo, "Decentralized control approach of Petri nets based on net structure decompositlon methods," in Proc. 39th Int. Conf. Computers and Industrial Engineering, Troyes, France, Jul. 2009, pp. 1560-1567.
21. R. Dideban and H. Alla, "Reduction of constraints for controller synthesis based on safe Petri nets," Automatica, vol. 44, no. 7, pp. 1697-1706, 2008.
22. M. Uzam, Z. Li, and M. Zhou, "Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS," Int. J. Adv. Manuf. Technol., vol. 35, no. 1-2, pp. 150-168, July 2007. (Pubitemid 47609375)
23. Z. Li and M. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Systems, Man, Cybern. A, Syst. Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
24. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Upper Saddle River, NJ, USA: Prentice-Hall, 1981.
25. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
26. Z. Li and M. Zhou, "Control of elementary and dependent siphons of Petri nets and their application," IEEE Trans. Systems, Man, Cybern. A, Syst. Humans, vol. 38, no. 1, pp. 133-148, Jan. 2008.