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