more Petri Netze