Solving the problem of forbidden states in Discrete Event Systems: A novel systematic method for reducing the number of control places

Asian Journal of Control

Volumn 17, Issue 3, 2015, Pages 1006-1015

  Zareiee, Meysam ^a   Dideban, Abbas ^a   Orouji, Ali A ^a   Soltanizadeh, Hadi ^a  

^a SEMNAN UNIVERSITY   (Iran)

Author keywords

Control place; Discrete events; Forbidden state; Over state; Petri net

Indexed keywords

PETRI NETS;

CONTROL PLACE; DISCRETE EVENTS; FORBIDDEN STATE; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; OVER-STATE; PERMISSIVE CONTROLLERS; SYSTEMATIC METHOD;

DISCRETE EVENT SIMULATION;

EID: 85027954510     PISSN: 15618625     EISSN: 19346093     Source Type: Journal    
DOI: 10.1002/asjc.947     Document Type: Article

References (37)

1. Krogh, B. H., and, L. E. Holloway, " Synthesis of feedback control logic for discrete manufacturing systems," Automatica, Vol. 27, No. 4, pp. 641-651 (1991).
2. Moody, J. O., and, P. Antsaklis, " Petri net supervisor for DES with uncontrollable and unobservable transition," IEEE Trans. Autom. Control., Vol. 45, No. 3, pp. 462-476 (2000).
3. Holloway, L., E. X. Guan, and, L. Zhang, " A generalization of state avoidance policies for controlled Petri Nets," IEEE Trans. Autom. Control., Vol. AC-41, No. 6, pp. 804-816 (1996).
4. Dideban, A., and, H. Alla, " Feedback control logic synthesis for non-safe Petri nets." 13th IFAC Symp. Inform. Control Problems Manuf., Moscow, Russia, (2009).
5. Vasiliu, I. A., A. Dideban, and, H. Alla, " Control synthesis for manufacturing systems using non-safe Petri nets," Control Eng. Appl. Inform., Vol. 11, pp. 43-50 (2009).
6. Abdallah, I. B., and, H. A. El-Maraghy, " Deadlock prevention and avoidance in FMS: A Petri net based approach," Int. J. Adv. Manuf. Technol., Vol. 14, pp. 704-715 (1998).
7. Park, J., and, S. A. Reveliotis, " Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Robot. Autom., Vol. 16, No. 2, pp. 190-195 (2000).
8. Huang, Y. S., M. D. Jeng, X. L. Xie, and, S. L. Chung, " Deadlock prevention policy based on Petri nets and siphons," Int. J. Prod. Res., Vol. 39, pp. 283-305 (2001).
9. Li, Z. W., and, M. C. Zhou, " Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst. Man Cybern. Part A-Syst. Hum. A, Vol. 34, pp. 38-51 (2004).
10. Li, Z. W., M. Uzam, and, M. C. Zhou, " Comments on "deadlock prevention policy based on Petri nets and siphons." Int. J. Prod. Res., Vol. 42, pp. 5253-5254 (2004).
11. Uzam, M., and, M. C. Zhou, " An improved iterative synthesis approach for liveness enforcing supervisors of flexible manufacturing systems," Int. J. Prod. Res., Vol. 44, pp. 1987-2030 (2006).
12. Reveliotis, S. A., and, J. Y. Choi, " Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri Nets through the theory of regions," LNCS, Vol. 4024, pp. 322-341 (2006).
13. Huang, Y. S., M. D. Jeng, X. Xie, and, D. H. Chung, " Siphon-based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Syst. Man Cybern. A, (2006).
14. Li, Z. W., and, M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer, London (2009).
15. Piroddi, L., M. Cossalter, and, L. Ferrarini, " A resource decoupling approach for deadlock prevention in FMS," Int. J. Adv. Manuf. Technol., Vol. 40, pp. 157-170 (2009).
16. Li, Z. W., N. Q. Wu, and, M. C. Zhou, " Deadlock control of automated manufacturing systems based on Petri nets-A literature review," IEEE Trans. Syst. Man Cybern. Part C-Appl. Rev., Vol. 42, pp. 437-462 (2012).
17. Chen, Y. F., and, Z. W. Li, Optimal supervisory control of automated manufacturing systems, CRC Press, Taylor & Francis Group, New York (2012).
18. Ghaffari, A., N. Rezg, and, X. L. Xie, " Design of live and maximally permissive Petri Net controller using the theory of regions," IEEE Trans. Robot. Autom., Vol. 19, No. 1, pp. 137-142 (2003).
19. Uzam, M., 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, pp. 150-168 (2007).
20. Li, Z., and, H. Hu, " On systematic methods to remove redundant monitors from liveness-enforcing net supervisors," Comp. Ind. Eng., Vol. 56, pp. 53-62 (2009).
21. Li, S. Y., and, Z. W. Li, " Structure reduction of liveness-enforcing Petri nets using mixed iteger programming," Asian J. Control, Vol. 14, No. 2, pp. 384-399 (2013).
22. Giua, A., F. M. DiCesare, and, M. Silva, " Generalized mutual exclusion constraints on nets with uncontrollable transitions." Proc. IEEE Int. Conf. Syst. Man Cybern., pp. 974-799 (1992).
23. Zareiee, M., A. Dideban, and, P. Nazemzadeh, " From forbidden states to linear constraints," Int. Conf. Model. Sim., Dubai, UAE (2011).
24. Chen, Y., Z. Li, M. Khalgui, and, O. Mosbahi, " Design of a maximally permissive liveness-enforcing Petri Net supervisor for flexible manufacturing systems," IEEE Trans. Autom. Sci. Eng., Vol. 8, pp. 374-393 (2011).
25. Yamalidou, K., J. Moody, M. Lemmon, and, P. Antsaklis, " Feedback control of Petri nets based on place invariants," Automatica, Vol. 32, No. 1, pp. 15-28 (1996).
26. Dideban, A., and, H. Alla, " From forbidden state to linear constraints for the optimal supervisory control," Control Eng. Appl. Inform. (CEAI), Vol. 7, No. 3, pp. 48-55 (2005).
27. Dideban, A., and, H. Alla, " Reduction of constraints for controller synthesis based on safe Petri Nets," Automatica, Vol. 44, No. 7, pp. 1697-1706 (2008).
28. Chen, Y. F., and, Z. W. Li, " Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems," Automatica, Vol. 47, pp. 1028-1034 (2011).
29. Li, Z. W., Y. F. Chen, and, M. C. Zhou, " On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems," Proc IEEE Conf. Syst. Man Cybern., pp. 832-837 (2011).
30. Chen, Y. F., and, Z. W. Li, " On structural minimality of optimal supervisors for flexible manufacturing systems," Automatica, Vol. 48, pp. 2647-2656 (2012).
31. Cordone, R., and, L. Piroddi, " Parsimonious monitor control of Petri net models of flexible manufacturing systems," IEEE Trans. Syst. Man Cybern. Part A-Syst. Hum., Vol. 43, (2013).
32. Dideban, A., M. Zareiee, and, H. Alla, " Controller Synthesis with Highly Simplified Linear Constraints," Asian J. Control, Vol. 15, No. 1, pp. 80-94 (2013).
33. Zareiee, M., A. Dideban, A. A. Orouji, and, H. R. Soleymanpour, " Simplification of a Petri net Controller in industrial systems by using an optimization algorithm," Int. J. Ind. Eng. Prod. Res., Vol. 24, pp. 59-70 (2013).
34. Chen, Y. F., Z. W. Li, and, M. C. Zhou, " Optimal supervisory control of flexible manufacturing systems by Petri nets: a set classification approach," IEEE Trans. Autom. Sci. Eng., (2014).
35. Kumar, R., and, L. E. Holloway, " Supervisory control of deterministic Petri nets with regular specification languages." IEEE Trans. Autom. Control, Vol. 41, No. 2, pp. 245-249 (1996).
36. Morris Mano, M., Digital Design, Prentice Hall, (2001).
37. Ezpeleta, J., J. M. Colom, and, J. Martinez, " A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., Vol. 11, pp. 173-184 (1995).