doplnene tlacidlo convert na zmenu precedencneho grafu na petriho siet