Deadlock control for weighted systems of simple sequential processes with resources requirement (WS3PR)

Journal of Information Science and Engineering

Volumn 25, Issue 6, 2009, Pages 1963-1977

  Chao, Daniel Yuh ^a  

^a NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

Author keywords

Control; Deadlock; FMS; Liveness; Petri nets; Siphons; Traps

Indexed keywords

CONTROL NODES; DEADLOCK; DEADLOCK CONTROL; DEADLOCK CONTROL POLICY; FMS; LIVENESS; NET MODEL; SEQUENTIAL PROCESS;

DIAMONDS; FLEXIBLE MANUFACTURING SYSTEMS; GRAPH THEORY; PETRI NETS;

SIPHONS;

EID: 72549084970     PISSN: 10162364     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. D. Y. Chao, "A computer aided design technique for flexible manufacturing systems synthesis utilizing Petri nets," Computer-Aided Design, Engineering, and Manufacturing: Techniques and Applications, Operational Methods in Computer Aided Design, Vol.3, 2001, pp. 8.1-8.64.
2. X. Gang and Z. Wu, "A kind of deadlock-free scheduling method based on Petri net," in Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering, 2002, pp. 195-201.
3. H. Huang, J. Li, and W. Zhou, "Deadlock-free design of JSP with multi-resource sharing," in Proceedings of International Conference on Computer and Electrical Engineering, 2008, pp. 412-416.
4. Y. Song and J. Lee, "Deadlock analysis of Petri nets using the transitive matrix," in Proceedings of the 41st Society of Instrument and Control Engineers Annual Conference, Vol.2, 2002, pp. 689-694.
5. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Transactions on Robotic and Automation, Vol.11, 1995, pp. 173-184.
6. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Transactions on Automatic Control, Vol.46, 2001, pp. 1572-1583.
7. Y. Huang, "Modeling, analysis, deadlock prevention and cell controller implementation for flexible manufacturing systems," Department of Electrical Engineering, National Taiwan University of Science and Technology, Taipei, 2001.
8. K. Barkaoui and I. B. Adallah, "Deadlock avoidance in FMS on structural theory of Petri nets," in Proceedings of INRIA/IEEE Symposium on Emerging Techonologies and Factory Automation, Vol.2, 1995, pp. 499-510.
9. M. Jeng, X. Xie, and S. L. Chung, "ERCN merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems," IEEE Transactions on Systems, Man, Cybernetics - Part A: Systems and Humans, Vol.34, 2004, pp. 102-112.
10. F. Tricas and J. Martinez, "An extension of the liveness of concurrent sequential processes competing for shared resources," in Proceedings of IEEE International Conference System, Man, Cybernetics, 1995, pp. 4119- 4124.
11. I. B. Abdallah and A. Elmaraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach," The International Journal of Advanced Manufacturing, Vol.14, 1998, pp. 704-715.
12. D. Y. Chao, "Max-Controlled siphons for liveness of WS3PR," IEEE Proceedings Control Theory and Applications, Vol.1, 2007, pp. 933-936.
13. Z. Li and M. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Transactions on Systems, Man, Cybernetics - Part A, Vol.34,2004, pp. 38-51.
14. D. Y. Chao and J. A. Nicdao, "Liveness for synchronized choice Petri nets," Computer Journal, Vol.44,2001, pp. 124-136.
15. D. Y. Chao, "Extended synchronized choice nets," Computer Journal, Vol.46, 2003, pp. 505-523.
16. D. Y. Chao and D. T. Wang, "Two theoretical and practical aspects of knitting technique-invariants and a new class of Petri net," IEEE Transactions on Systems, Man, Cybernetics - Part A, Vol.27, 1997, pp. 962-977.
17. K. Lautenbach, "Linear algebraic calculation of deadlocks and traps," in K. Voss, H. Genrich, and G. Rozenberg, (eds.), Concurrency and Nets, Springer-Verlag, New York, 1987, pp. 315-336.
18. K. Barkaoui and J. Pradat-Peyre, "On liveness and controlled siphons in Petri nets," in W. Reisig, (ed.), Theory and Application of Petri Nets, LNCS 1091, Springer-Verlag, Berlin, 1996, pp. 57-72.
19. F. S. Hsieh, "Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources," Automatica, Vol.42,2006, pp. 1159-1166.
20. F. S. Hsieh, "Fault tolerant deadlock avoidance algorithm for assembly processes," IEEE Transaction on System, Man and Cybernetics - Part A, Vol.34, 2004, pp. 65-79.
21. D. Y. Chao, "A graphic-algebraic computation of elementary siphons of BS3PR," Journal of Information Science and Engineering, Vol.23, 2007, pp. 1817-1831.
22. D. Y. Chao, "Computation of elementary siphons in Petri nets for deadlock control," Computer Journal, Vol.49,2006, pp. 470-479.