Incremental approach to computation of elementary siphons for arbitrary simple sequential processes with resources

IET Control Theory and Applications

Volumn 2, Issue 2, 2008, Pages 168-179

  Chao, D Y ^a  

^a NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION ALGORITHMS; ASYMPTOTIC STABILITY; COMPUTER SYSTEM RECOVERY; LINEAR ALGEBRA; POLYNOMIAL APPROXIMATION; RESOURCE ALLOCATION;

DEADLOCK CONTROL; ELEMENTARY SIPHONS; SEQUENTIAL PROCESSES; STRICT MINIMAL SIPHONS (SMS);

COMPUTATIONAL METHODS;

EID: 39749193867     PISSN: 17518644     EISSN: 17518652     Source Type: Journal    
DOI: 10.1049/iet-cta:20070130     Document Type: Article

References (15)

1. 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 10.1109/70.370500 1042-296X
2. Chao, D.Y.: ' An incremental approach to extract minimal bad siphons ', J. Inf. Sci., 2007, 23, (1), p. 203-214 0165-5515
3. Li, Z., Hu, H., and Zhou, M.: ' A polynomial algorithm to find a set of elementary siphons in a class of Petri nets ', Proc. IEEE Int. Conf. Syst., Man, Cybern, The Hague, The Netherlands, October, 2004, p. 4861-4866
4. Iordache, M.V., Moody, J.O., and Antsaklis, P.J.: ' A method for the synthesis liveness enforcing supervisors in Petri nets ', Proc. American Control Conf., 2001, p. 4943-4948
5. Li, Z., and Zhou, M.: ' Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems ', IEEE Trans. Syst. Man Cybern. A., 2004, 34, (1), p. 38-51 10.1109/TSMCA.2003.820576 1083-4427
6. Li, Z.W., Zhang, J., and Zhao, M.: ' Liveness-enforcing supervisor design for a class of generalized Petri net models of flexible manufacturing systems ', IET Control Theory Applic., 2007, 1, (4), p. 955-967
7. Li, Z., and Zhou, M.: ' Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets ', IEEE Trans. Ind. Inf., 2006, 2, (4), p. 313-325
8. Li, Z., Hu, H., and Zhou, M.: ' An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control ', Proc. IEEE Int. Conf. Syst., Man, Cybern, The Hague, The Netherlands, October, 2004, p. 4849-4854
9. Chao, D.Y.: ' Computation of elementary siphons in Petri nets for deadlock control ', Comp. J., 2006, 49, (4), p. 470-479, (British Computer Society) 10.1093/comjnl/bx1019
10. Chao, D.Y.: ' Petri net synthesis and synchronization using knitting technique ', J. Inf. Sci. Eng., 1999, 15, p. 543-568 1016-2364
11. 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
12. Li, Z., and Zhou, M.: ' Clarifications on the definitions of elementary siphons in Petri nets ', IEEE Trans. Syst. Man Cybern. A., 2006, 36, p. 1227-1229 10.1109/TSMCA.2006.878966 1083-4427
13. 3PR ', J. Inf. Sci., 2007, 23, (6), p. 1817-1831 0165-5515
14. 3PR nets without weakly dependent siphons ', IEEE Trans. Syst. Man Cybern. A., 2007, submitted for publication 1083-4427
15. Kemper, P.: ' Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net ', Marsan, M.A., 'Application and Theory of Petri Nets', 691, Lecture Notes in Computer Science, (Springer Verlag, Berlin, Germany, 1993), p. 319-338