Hybrid liveness-enforcing policy for generalized petri net models of flexible manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 43, Issue 1, 2013, Pages 85-97

  Liu, Ding ^a   Li, Zhiwu ^a   Zhou, Mengchu ^a,b  

^a XIDIAN UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Flexible manufacturing system (FMS); Livenessenforcing supervisor; Petri net; Siphon.

Indexed keywords

CONTROL IMPLEMENTATION; CONTROLLED SYSTEM; ELEMENTARY SIPHON; EXTERNAL CONTROL; LIVENESS-ENFORCING SUPERVISOR; PETRI NET MODELS; REDUNDANT MONITORS; STRUCTURAL COMPLEXITY;

FLEXIBLE MANUFACTURING SYSTEMS; SIPHONS; SUPERVISORY PERSONNEL; PETRI NETS;

PETRI NETS; FLEXIBLE MANUFACTURING SYSTEMS;

EID: 84877293978     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2012.2192266     Document Type: Article

References (51)

1. E. Badouel and P. Darondeau, "Theory of regions," Lectures on Petri Nets I: Basic Models, vol. 1491, LNCS, pp. 529-586, 1998.
2. K. Barkaoui, J. M. Couvreur, and K. Klai, "On the equivalence between liveness and deadlock-freeness in Petri nets," in Proc. 26th Int. Conf. Appl. Theory Petri Nets, vol. 3536, LNCS, 2005, pp. 90-107.
3. K. Barkaoui, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure theory of Petri nets," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Orlando, FL, 1997, pp. 3750-3755.
4. K. Barkaoui and J. F. Pradat-Peyre, "On liveness and controlled siphons in Petri nets," in Proc. 17th Int. Conf. Appl. Theory Petri Nets-LNCS, 1996, pp. 57-72.
5. 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., vol. 8, no. 2, pp. 374-393, Apr. 2011.
6. H. Cho, T. K. Kumaran, and R. A. Wysk, "A graph-theoretic deadlock detection and resolution for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 3, pp. 413-421, Jun. 1995.
7. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793-804, Dec. 1997.
8. E. G. Coffman, M. J. Elphick, and A. Shoshani, "System deadlocks," ACM Comput. Surveys, vol. 3, no. 2, pp. 67-78, Jun. 1971.
9. J. Ezpeleta, F. García-Vallés, and J. M. Colom, "A class of well structured Petri nets for flexible manufacturing systems," in Proc. Appl. Theory Petri Nets, vol. 1420, LNCS, 1998, pp. 64-83.
10. J. Ezpeleta, J. M. Colom, and J.Martínez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
11. A. Ghaffari, N. Rezg, and X. L. Xie, "Design of a live and maximally permissive Petri net controller using the theory of regions," IEEE Trans. Robot. Autom., vol. 19, no. 1, pp. 137-142, Feb. 2003.
12. C. Girault and R. Valk, Petri Nets for Systems Engineering-A Guide to Modeling, Verification, and Applications. Berlin, Germany: Springer-Verlag, 2003.
13. F. S. Hsieh, "Robustness analysis of non-ordinary Petri nets for flexible assembly/disassembly processes based on structural decomposition," Int. J. Control, vol. 84, no. 3, pp. 496-510, Mar. 2011.
14. F. S. Hsieh, "Robustness analysis of non-ordinary Petri nets for flexible assembly systems," Int. J. Control, vol. 83, no. 5, pp. 928-939, May 2010.
15. H. S. Hu, M. C. Zhou, and Z. W. Li, "Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 2, pp. 201-212, Mar. 2011.
16. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chuang, "Deadlock prevention policy based on Petri nets and siphons," Int. J. Prod. Res., vol. 39, no. 2, pp. 283-305, 2001.
17. F. L. Lewis, A. Gürel, S. Bogdan, A. Do'ganalp, and O. C. Pastravanu, "Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems," Automatica, vol. 34, no. 9, pp. 1083-1100, Sep. 1998.
18. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach. London, U.K.: Springer-Verlag, 2009.
19. Z.W. Li, S. Zhu, and M. C. Zhou, "A divide-conquer strategy to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 39, no. 2, pp. 156-169, Mar. 2009.
20. Z. W. Li and M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 2, pp. 369-384, Mar. 2008.
21. Z. W. Li and M. C. Zhou, "On siphon computation and deadlock control for a class of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 3, pp. 667-679, May 2008.
22. Z. W. Li, M. C. Zhou, and N. Q. Wu, "A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 38, no. 2, pp. 173-188, Mar. 2008.
23. Z.W. Li and D. Liu, "A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net," Int. J. Prod. Res., vol. 45, no. 9, pp. 2161-2165, May 2007.
24. Z. W. Li and M. C. Zhou, "Clarifications on the definitions of elementary siphons of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 6, pp. 1227-1229, Nov. 2006.
25. Z. W. Li and M. C. Zhou, "Two-stage method for synthesizing livenessenforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Ind. Informat., vol. 2, no. 4, pp. 313-325, Nov. 2006.
26. 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. A, Syst., Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
27. D. Liu, Z. W. Li, and M. C. Zhou, "Erratum to 'liveness of an extended S3PR[Automatica 46 (2010) 1008-1018]'," Automatica 48. 5, 1003-1004, Mar. 2012. http://dx.doi.org/10.1016/j.automatica.2012.01.012
28. D. Liu, Z. W. Li, and M. C. Zhou, "Liveness of an extended S3PR," Automatica, vol. 46, no. 6, pp. 1008-1018, Jun. 2010.
29. O. Marchetti and A. Munier-Kordon, "Complexity results for weighted timed event graphs," Discrete Optim., vol. 7, no. 3, pp. 166-180, Aug. 2010.
30. O. Marchetti and A. Munier-Kordon, "A sufficient condition for the liveness of weighted event graphs," Eur. J. Oper. Res., vol. 197, no. 2, pp. 532-540, Sep. 2009.
31. A. Ohta and A. Tsuji, "Insufficiently marked siphon of Petri netsextension of token-free siphon," in Proc. IEEE Int. Symp. Circuits Syst., Bangkok, Thailand, 2003, pp. III-244-III-247.
32. J. Park, "Structural analysis and control of resource allocation systems using Petri nets," Ph.D. dissertation, Georgia Inst. Technol., Atlanta, GA, 2000.
33. P. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, Jan. 1987.
34. S. Reveliotis, "Implicit siphon control and its role in the livenessenforcing supervision of sequential resource allocation systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 37, no. 3, pp. 319-328, May 2007.
35. F. Tricas, "Deadlock analysis, prevention and avoidance in sequential resource allocation systems," Ph.D. dissertation, Univ. Zaragoza, Zaragoza, Spain, 2003.
36. 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. A, Syst., Humans, vol. 37, no. 3, pp. 362-371, May 2007.
37. 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, no. 3, pp. 192-208, Feb. 2002.
38. S. Y. Yan, Number Theory for Computing, 2nd ed. Berlin, Germany: Springer-Verlag, 2002.
39. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri nets for manufacturing systems," IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, Jun. 1992.
40. M. C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net based supervisor for a flexible manufacturing system," Automatica, vol. 28, no. 6, pp. 1199-1208, Nov. 1992.
41. B. Zouari, "A structure causality relation for liveness characterisation in Petri nets," J. Univ. Comput. Sci., vol. 12, no. 2, pp. 214-232, 2006.
42. B. Zouari and K. Barkaoui, "Parameterized supervisor synthesis for a modular class of discrete event systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Washington, DC, 2003, pp. 1874-1879.
43. Y. F. Chen and Z. W. Li, "Design of a maximally permissive livenessenforcing supervisor with a compressed supervisory structure for flexible manufacturing systems," Automatica, vol. 47, no. 5, pp. 1028-1034, May 2011.
44. H. S. Hu, M. C. Zhou, and Z. W. Li, "Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 549-557, Jul. 2010.
45. H. S. Hu, M. C. Zhou, and Z. W. Li, "Liveness enforcing supervision of video streaming systems using nonsequential Petri nets," IEEE Trans. Multimedia, vol. 11, no. 8, pp. 1457-1465, Dec. 2009.
46. Z. W. Li, G. Y. Liu, M.-H. Hanisch, and M. C. Zhou, "Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 1, pp. 178-191, Jan. 2012.
47. Z. W. Li, 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. C, Appl. Rev., 2012, to be published.
48. Z. W. Li and M. C. Zhou, "Control of elementary and dependent siphons in Petri nets and their application," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 133-148, Jan. 2008.
49. Z.W. Li, M. C. Zhou, and M. D. Jeng, "A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions," IEEE Trans. Autom. Sci. Eng., vol. 5, no. 1, pp. 182-188, Jan. 2008.
50. 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.
51. N. Q. Wu, M. C. Zhou, and Z. W. Li, "Resource-oriented Petri net for deadlock avoidance in flexible assembly systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 56-69, Jan. 2008.