Monitor optimization in Petri net control

IEEE International Conference on Automation Science and Engineering

Volumn , Issue , 2011, Pages 413-418

  Cordone, Roberto ^a   Piroddi, Luigi ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BENCH-MARK PROBLEMS; BRANCH AND BOUNDS; CONTROL OBJECTIVES; CONTROL SOLUTIONS; DEADLOCK PREVENTION; LIVENESS; OPTIMIZATION APPROACH; THEORY OF REGIONS;

PETRI NETS;

OPTIMIZATION;

EID: 82455192458     PISSN: 21618070     EISSN: 21618089     Source Type: Conference Proceeding    
DOI: 10.1109/CASE.2011.6042440     Document Type: Conference Paper

References (23)

1. Y.F. Chen and Z.W. Li, "Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems," Automatica, vol. 47, 1028-1034, 2011.
2. Y.F. Chen, Z.W. 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., in press, available on line, 2010.
3. J. Ezpeleta, J.-M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems,"IEEE Trans. Rob. Automat., vol. 11, n. 2, p. 173-184, 1995.
4. M.P. Fanti and M.C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst. Man Cybern. Part A Syst. Humans, vol. 34, n. 1, pp. 5-22, 2004.
5. I. Fumagalli, L. Piroddi, and R. Cordone, "A reachability graph partitioning technique for the analysis of deadlock prevention methods in bounded Petri nets," in Proc. of the American Control Conference, Baltimore (MD), USA, pp. 3365-3370, 2010.
6. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, Chicago (IL), USA, pp. 974-979, 1992.
7. Y.S. Huang, M.D. Jeng, X.L. Xie, and S. Chung, "Deadlock prevention policy based on Petri nets and siphons," Int. J. Prod. Res., vol. 39, n. 2, pp. 283-305, 2001. (Pubitemid 35165680)
8. Z. W. Li, H. S. Hu, and A. R. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets,"IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 37, no. 4, pp. 517-526, Jul. 2007.
9. Z.W. Li 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. Humans, vol. 34, n. 1, pp. 38-51, 2004.
10. Z.W. Li and M.C. Zhou, "Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Ind. Inf., vol. 2, n. 4, pp. 313-325, 2006.
11. Z.W. Li and M.C. Zhou, "A Survey and Comparison of Petri Net-based Deadlock Prevention Policy for Flexible Manufacturing Systems," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 38, n. 2, pp. 172-188, 2008.
12. T. Murata, "Petri nets: properties, analysis and application," Proc. IEEE, vol. 77, n. 4, pp. 541-580, 1989.
13. L. Piroddi, R. Cordone, and I. Fumagalli, "Selective Siphon Control for Deadlock Prevention in Petri Nets," IEEE Trans. Syst. Man Cybern. Part A Syst. Humans, vol. 38, n. 6, pp. 1337-1348, 2008.
14. L. Piroddi, R. Cordone, and I. Fumagalli, "Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets," IEEE Trans. Syst. Man Cybern. Part A Syst. Humans, vol. 39, n. 3, pp. 650-661, 2009.
15. L. Piroddi, M. Cossalter, and L. Ferrarini, "A Resource Decoupling Approach for Deadlock Prevention in FMS", Int. J. Adv. Manuf. Technol., vol. 40, n. 1, pp. 157-170, 2009.
16. S.A. Reveliotis, Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach, Springer Science, New York (NY), USA, 2005.
17. S.A. Reveliotis, "Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems," IEEE Trans. Syst. Man Cybern. Part A Syst. Humans, vol. 37, n. 3, 319-328, 2007. (Pubitemid 46621518)
18. M. Uzam, "An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions," Int. J. Adv. Manuf. Technol., vol. 19, pp. 192-208, 2002. (Pubitemid 34268717)
19. M. Uzam, "The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems," Int. J. Adv. Manuf. Technol., vol. 23, pp. 204-219, 2004.
20. M. Uzam, Z.W. Li, and M.C. Zhou, "Identification and Elimination of Redundant Control Places in Petri Net Based Liveness Enforcing Supervisors of FMS," Int. J. Adv. Manuf. Technol., vol. 35, n. 1-2, pp. 150-168, 2007. (Pubitemid 47609375)
21. M. Uzam and M.C. Zhou, "An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems," IEEE Trans. Syst. Man Cybern. Part A Syst. Humans, vol. 37, n. 3, pp. 362-371, 2007. (Pubitemid 46621522)
22. K. Yamalidou, J.O. Moody, M.D. Lemmon, and P.J. Antsaklis, "Feedback control of Petri nets based on place invariants,"Automatica, vol. 32, n. 1, pp. 15-28, 1996. (Pubitemid 126337854)
23. A. Nazeem, S. Reveliotis, Y. Wang, and S. Lafortune, "Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems through Classification Theory: The Linear Case", IEEE Trans. Autom. Control, to appear.