Využitie rôznych variantov Petriho sietí pri navrhovaní riadiacich algoritmov : Bakalárska práca - Barták, Marián (STU v Bratislave MtF KAIA, 2005)