Text this: Využitie rôznych variantov Petriho sietí pri navrhovaní riadiacich algoritmov :