An algorithm GMST for extracting minimal siphon-traps and its application to efficient computation of petri net invariants

Proceedings - IEEE International Symposium on Circuits and Systems

Volumn 3, Issue , 2003, Pages

  Taguchi, Akihiro ^a   Taoka, Satoshi ^a   Watanabe, Toshimasa ^a  

^a HIROSHIMA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; PETRI NETS; POLYNOMIALS;

SIPHON-TRAPS;

SYSTEMS ANALYSIS;

EID: 0037745059     PISSN: 02714310     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. J. Martinez and M. Suva, "A simple and fast algorithm to obtain all invariants of a generalized Petri net," in Fachberichte Informatik, 52, pp. 301-310. Springer-Verlag, Berlin, Germany, 1982.
2. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, Vol. 77, No. 4, pp. 541-580, April 1989.
3. N.Trevas, "A comparative study of different, techniques for semi-flows computation in place/traisition nets.," in Advances in Petri Nets 1989, number 424 in Lecture Notes in Computer Science, pp. 433-452. Springer-Verlag, Berlin, Germany, Jan 1990.
4. K. Onaga and T. Watanabe, "Basic properties of Petri net invariants and their computation," in Petri Nets and their Application, S. I. G. on Discrete Event Systems, Ed., pp. 41-64, Society of Instrument and Control Engineers, 1992. (In Japanese).
5. J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, N.J., 1981.
6. W. Reisig, Petri Nets / An introduction. Springer-Verlag, Berlin, Germany, 1982.
7. D. Sarkar, S. K. Das, V. K. Agrawal, and L. M. Patnaik, "A new methodology for analyzing distributed systems modeled by Petri nets," International Journal of Computer Mathematics, Vol. 31, No. 3/4, pp. 153-165, 1989.
8. M. Silva and J. M. Colom, "Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows," in Advances in Petri Nets 1990, number 483 in Lecture Notes in Computer Science, pp. 79-112. Springer-Verlag, Berlin, Germany, Nov 1991.
9. A. Taguchi, S. Taoka, and T. Watanabe, "An algorithm gmst for extracting minimal siphon-traps and its application to efficient computation of Petri net invariants," Tech. Rep. CST2002-14, IEICE of Japan, pp. 19-24, August 2002.
10. K. Takano, S. Taoka, and T. Watanabe, "Efficient computation of nonnegative integer-invariants of Petri nets," in Proc. International Conference on Fundamentals of Electronics, Communications and Computer Sciences (ICFS 2002), IEICE, pp. S5/19-24, March 2002.
11. K. Takano, S. Taoka, M. Yamauchi, and T. Watanabe, "Experimental evaluation of two algorithms for computing Petri net invariants," IEICE Trans. Fundamentals, Vol. E84-A, No. 11, pp. 2871-2880, November 2001.
12. T. Tanida, T. Watanabe, and K. Onaga, "A polynominal-time algorithm for finding a semi-generator of Petri net invariants," in Proc. 1991 IEEE ISCAS, pp. 2838-2841, June 1991.
13. S. Tanimoto, M. Yamauchi, and T. Watanabe, "Finding minimal siphons in general Petri nets," IEICE Trans. Fundamentals, Vol. E79-A, No. 11, pp. 1817-1824, November 1996.
14. S. Taoka, K. Takano, and T. Watanabe, "Extracting minimal siphon-traps of Petri nets and its application to computing nonnegative integer-invariants," IEICE Trans. Fundamentals, Vol. E85-A, No. 11, pp. 2447-2452, November 2002.