Aenderungen am Petri Netz von Band 1