Rename PetriNet Plugin and make it functional.