updating versions and checking for petri