Sifakis, J. 1979. “Use of Petri Nets for Performance Evaluation”. Acta Cybernetica 4 (2), 185-202. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3177.