Symbolische Analysemethoden für algebraische Petrinetze - Wolf, Karsten 1967- (Bertz, 1996)