D.-S. Kim, H.-J.Moon, W.-H.Kwon, Z. J. Haas, "Efficient Computation for Evaluating Stochastic Petri Nets using Algebraic Operations", International Journal of Control, Automation and Systems (IF: 2.173, ISSN: 2005-4092), vol. 1, no. 4, pp. 431-443, 2003 (A)