Structural conditions of systems of simple sequential processes with resources nets without weakly dependent siphons

IET Control Theory and Applications

Volumn 3, Issue 4, 2009, Pages 391-403

  Chao, D Y ^a   Li, Z ^b,c  

^a NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

^b XIDIAN UNIVERSITY   (China)

^c TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; MARINE BIOLOGY; PETRI NETS;

DEADLOCK CONTROLS; DEPENDENT SIPHONS; ELEMENTARY SIPHONS; INCREMENTAL APPROACHES; OPEN PROBLEMS; PETRI-NET; SEQUENTIAL PROCESS; STRICT MINIMAL SIPHONS; STRONGLY CONNECTED; STRUCTURAL CONDITIONS; SUB-NETS;

SIPHONS;

EID: 63049124886     PISSN: 17518644     EISSN: 17518652     Source Type: Journal    
DOI: 10.1049/iet-cta.2007.0470     Document Type: Article

References (20)

1. Murata, T., Komoda, N., and Matsumoto, K.: ' A Petri net based controller for flexible and maintainable sequence control and its applications in factory automation ', IEEE Trans. Indust. Electron., 1986, IE-33, p. 1-8 0278-0046
2. Li, Z.W., and Zhou, M.C.: ' A survey and comparison of petri net-based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Syst., Man Cybern., C, Appl. Rev., 2008, 38, (2), p. 172-188 1094-6977
3. Li, Z.W., and Zhou, M.C.: ' On Siphon Computation for Deadlock Control in a Class of Petri Nets ', IEEE Trans. Syst., Man Cybern., A, Syst. Human, 2008, 38, (3), p. 667-679
4. Wysk, R.A., Yang, N.S., and Joshi, S.: ' Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches ', J. Manuf. Syst., 1994, 13, (2), p. 128-136 0278-6125
5. Cho, H., Kumaran, T.K., and Wysk, R.A.: ' Graph-theoretic deadlock detection and resolution for flexible manufacturing systems ', IEEE Trans. Robot. Autom., 1995, 11, (3), p. 413-421 1042-296X
6. Xing, K., Hu, B., and Chen, H.: ' Deadlock avoidance policy for petri-net modelling of flexible manufacturing systems with shared resources ', IEEE Trans. Autom. Control, 1996, 41, (2), p. 289-295 0018-9286
7. Fanti, M.P., Maione, B., Mascolo, S., and Turchiano, B.: ' Event-based feedback control for deadlock avoidance in flexible production systems ', IEEE Trans. Robot. Autom., 1997, 13, (3), p. 347-363 1042-296X
8. Ezpeleta, J., Colom, J.M., and Martinez, J.: ' A Petri net based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Robot. Autom., 1995, 11, p. 173-184 1042-296X
9. Huang, Y.S., Jeng, M.D., Xie, X.L., and Chung, S.L.: ' Siphon-based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Syst. Man Cybern. A, Syst. Humans, 2006, 36, (6), p. 1248-1256 1083-4427
10. Barkaoui, K., and Abdallah, I.B.: ' A deadlock prevention method for a class of FMS ', Proc. IEEE Int. Conf. Systems, Man, Cybernetics, 1995, p. 4119-4124
11. Iordache, M.V., Moody, J.O., and Antsaklis, P.J.: ' A method for the synthesis liveness enforcing supervisors in Petri nets ', Proc. Am. Control Conf., 2001, p. 4943-4948
12. Chu, F., and Xie, X.L.: ' Deadlock analysis of Petri nets using siphons and mathematical programming ', IEEE Trans. Robot. Autom., 1997, 13, p. 793-840 1042-296X
13. Li, Z.W., and Zhou, M.C.: ' Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems ', IEEE Trans. Syst. Man Cybern. A, 2004, 34, p. 38-51 1083-4427
14. Li, Z.W., and Zhou, M.C.: ' Clarifications on the definitions of elementary siphons in Petri nets ', IEEE Trans. Syst. Man Cybern. A., 2006, 36, p. 1227-1229 1083-4427
15. Li, Z.W., and Zhou, M.C.: ' Some results and open problems concerning elementary siphons of Petri nets ', Proc. IEEE Int. Conf. Systems, Man, and Cybernetics, 2004, p. 1717-1722
16. Peterson, J.L.: ' Petri net theory and the modeling of systems ', (Prentice-Hall, 1981)
17. Chao, D.Y.: ' Computation of elementary siphons in Petri nets for deadlock control ', Comp. J., 2006, 49, (4), p. 470-479
18. Li, Z.W., Hu, H.S., and Zhou, M.C.: ' A polynomial algorithm to find a set of elementary siphons in a class of Petri nets ', Proc. IEEE Int. Conf. Syst., Man, Cybern, 2004, p. 4861-4866
19. 3PR ', J. Inf. Sci. Eng., 2007, 23, (6), p. 1817-1831 1016-2364
20. Chao, D.Y., and Wang, D.T.: ' Two theoretical and practical aspects of knitting technique - invariants and a new class of Petri net ', IEEE Trans. Syst. Man Cybern., 1997, 27, p. 962-977 0018-9472