Describir: Doplnenie funkcionality modelera Petriho sietí