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