Improved controllability test for dependent siphons in S3PR based on elementary siphons

Asian Journal of Control

Volumn 12, Issue 3, 2010, Pages 377-391

  Chao, Daniel Y ^a  

^a NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

Author keywords

Controllability; FMS; Petri nets; S3PR; Siphons

Indexed keywords

CONTROLLABILITY; FERMIUM; FLEXIBLE MANUFACTURING SYSTEMS; INTEGER PROGRAMMING; NP-HARD; PETRI NETS; TESTING;

CONTROL ELEMENTS; DEPENDENT SIPHON; ELEMENTARY SIPHON; LINEAR INEQUALITIES; LINEAR INTEGER PROGRAMMING; ORDINARY PETRI NET; STRICT MINIMAL SIPHON; S^3PR;

SIPHONS;

EID: 77955338818     PISSN: 15618625     EISSN: None     Source Type: Journal    
DOI: 10.1002/asjc.217     Document Type: Article

References (13)

1. 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, Vol. 34, No. 1, pp. 38-51 (2004).
2. Zhang, W., R. P. Judd, and P. Deering, "Necessary and sufficient conditions for deadlocks in flexible manufacturing systems based on a digraph model," Asian J. Control, Vol. 6, No. 2, pp. 217-228 (2004).
3. Zhang, W. 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).
4. Li, Z. W. and M. C. Zhou, "Clarifications on the definitions of elementary siphons in Petri nets," IEEE Trans. Syst. Man Cybern. Part A, Vol. 36, No. 6, pp. 1227-1229(2006).
5. Li, Z. W. and M. C. Zhou, "Control of elementary and dependent siphons in Petri nets and their application," IEEE Trans. Syst. Man Cybern. Part A, Vol. 38, No. 1, pp. 133-148 (2008).
6. Li, Z. W. and M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets," IEEE Trans. Syst. Man Cybern. Part A, Vol. 38, No. 2, pp. 369-384 (2008).
7. Li, Z. W. and M. C. Zhou, "On siphon computation for deadlock control in a class of Petri nets," IEEE Trans. Syst. Man Cybern. Part A, Vol. 38, No. 3, pp. 667-679(2008).
8. Chao, D. Y., "Computation of elementary siphons in Petri nets for deadlock control," Comput. J., Vol. 49, No. 4, pp. 470-479 (2006).
9. 3PR," IET Contr. Theory Appl., Vol. 2, No. 2, pp. 168-179 (2008).
10. Chao, D. Y, "An incremental approach to extract minimal bad siphons," J. Inf. Sci. Eng., Vol. 23, No. 1, pp. 203-214(2007).
11. Li, Z. W. and M. C. Zhou, "Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Ind. Inform., Vol. 2, No. 4, pp. 313-325 (2006).
12. Uzam, M., 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, No. 1-2, pp. 150-168(2009).
13. Li, Z. W. and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: a Novel Petri Net Approach, Springer, London (2009).