Algorithmen und DatenstrukturenLutz Priese × Theoretische InformatikPetri-NetzeLutz PrieseSpringer BerlineBook2013 Petri-Netze Lutz PrieseSpringer BerlineBook2008