Petri-Netze door Harro Wimmel & Lutz Priese