M. Dumitrescu, L. Dumitriu, and T. Munteanu, “Using Petri nets in reliability”, The Annals of “Dunarea de Jos“ University of Galati. Fascicle III, Electrotechnics, Electronics, Automatic Control, Informatics, vol. 20, pp. 25-32, Dec. 1997.