Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien - Reisig, Wolfgang 1950- (Vieweg + Teubner, 2010)