Petri Netze 1