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