PetriTool Improvements Since v. 1.0