clean PetriNets.py