HORWART, A.., A.. Puliafito, M. Scarpa, and M.. TELEK,  "Analysis and Evaluation of non-Markovian Stochastic Petri Nets",  Computer Performance Evaluation.Modelling Techniques and Tools, vol. 1786, Heidelberg, Springer, pp. 171?187, 31, 2000.