A polynomial algorithm for computing elementary siphons in a class of Petri nets

Asian Journal of Control

Volumn 14, Issue 4, 2012, Pages 1141-1149

  Liu, Huixia ^a   Xing, Keyi ^a   Wang, Feng ^a   Han, Libin ^a   Sun, Xiaojing ^a  

^a XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

automated manufacturing system; Deadlock; Petri net; siphon

Indexed keywords

AUTOMATION; MANUFACTURE; PETRI NETS; POLYNOMIAL APPROXIMATION;

AUTOMATED MANUFACTURING SYSTEMS; COMPUTATION PROBLEMS; DEADLOCK; DEADLOCK PREVENTION POLICY; POLYNOMIAL ALGORITHM; POLYNOMIAL TIME COMPLEXITY; SEQUENTIAL PROCESS; STRICT MINIMAL SIPHON;

SIPHONS;

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

References (16)

1. Chao, D. Y., " Computation of elementary siphons in Petri nets for deadlock control," Comp. J, Vol. 49, No. 4, pp. 470-479 (2006).
2. Chao, D. Y., " Incremental approach to computation of elementary siphons for arbitrary simple sequential process with resources," IET Contr. Theory Appl., Vol. 2, No. 2, pp. 168-179 (2008).
3. Johnson, D. B., " Finding all the elementary circuits of a directed graph ", SIAM J. Comput., Vol. 4, No. 1, pp. 77-84 (1975).
4. Ezpeleta, J. J., M. Colom, and, J. Martinez, " A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat, Vol. 11, No. 2, pp. 173-184 (1995).
5. Xing, K. Y., B. S. Hu, and, H. X. Chen, " Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources," IEEE Trans. Autom. Control, Vol. 41, No. 2, pp. 289-295 (1996).
6. Xing, K. Y., and, B. S. Hu, " Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems," Proc.IEEE Int.Conf. Syst., Man, Cybern., Waikoloa, HI, pp. 1651-1656 (2005).
7. 3PR," Proc 17th World Congr.Int.Federation of Autom.Control, Seoul, Korea, pp. 14490-14495 (2008).
8. Xing, K. Y., M. C. Zhou, F. Wang, H. X. Liu, and, F. Tian, " Resource transition circuits and siphons for deadlock control of automated manufacturing systems," To appear in IEEE Trans. Syst. Man Cybern. Part A-Syst. Hum., Vol. 41, No. 1, pp. 74-84 (2011).
9. Xing, K. Y., M. C. Zhou, H. X. Liu, and, F. Tian, " Optimal Petri net-based polynomial-complexity deadlock avoidance policies for automated manufacturing systems," IEEE Trans. Syst. Man Cybern. Part A-Syst. Hum., Vol. 39, No. 1, pp. 188-199 (2009).
10. Fanti, M., and, M. C. Zhou, " Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. Part A-Syst., Hum., Vol. 34, No. 1, pp. 5-22 (2004).
11. Murata, T., " Petri Nets: Properties, analysis, and applications," Proc. IEEE, Vol. 77, No. 4, pp. 541-580 (1989).
12. 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., Vol. 34, No. 1, pp. 38-51 (2004).
13. Wang, A. R., Z. W. Li, J. Y. Jian, and, M. C. Zhou, " An effective algorithm to find elementary siphons in a class of Petri nets," IEEE Trans. Syst. Man Cybern. Part A-Syst. Hum., Vol. 39, No. 4, pp. 912-923 (2009).
14. Li, Z. W., and, M. C. Zhou, " Control of elementary and dependent siphons of Petri nets and their application," IEEE Trans. Syst. Man Cybern. Part A-Syst. Hum., Vol. 38, No. 1, pp. 133-148 (2008).
15. Zhang, W. L., and, R. P. Judd, " Deadlock avoidance for flexible manufacturing systems with choices based on digraph circuit analysis," Asian J. Control, Vol. 9, No. 2, pp. 111-120 (2007).
16. Liu, H., K. Xing, and, S. Gao, Comment on " On Siphon Computation for Deadlock Control in a Class of Petri Net," IEEE Trans. Syst. Man. Cybern. Part A-Syst. Hum., Vol. 39, No. 6, pp. 1348-1350 (2009).