Sifakis, J. 1979. Use of Petri nets for performance evaluation. Acta Cybernetica. 4, 2 (Jan. 1979), 185-202.