J. Sifakis, “Use of Petri nets for performance evaluation”, Acta Cybern, vol. 4, no. 2, pp. 185-202, Jan. 1979.