Editor, verifikátor a animátor Petriho sietí - Siebert, Miroslav (STU v Bratislave FIIT, 2011)