VipToolFX Petri net changes