Enviar por SMS: Manažment zmien medzi verziovanými procesmi Petriho sietí