Sifakis J.: Use of Petri nets for performance evaluation. In: Acta cybernetica, (4) 2. pp. 185-202. (1979)