Petri-Netz basierte Verifikation von funktionalen Testfällen (Audi Dissertationsreihe) | DealShopping Deutschland