Reihe eXamen.pressHarro Wimmel × Entscheidbarkeit bei Petri NetzenÜberblick und KompendiumHarro WimmelSpringer BerlinHardcover2008 Entscheidbarkeit bei Petri NetzenÜberblick und KompendiumHarro WimmelSpringer BerlineBook2008