Petri-Netze by Harro Wimmel & Lutz Priese