petrinetz aenderungen