Move PetriNet plugin to the right location.