Symbolische Analysemethoden für algebraische Petrinetze - Wolf, Karsten 1967- (Bertz, 1996)
Keywords: Petri-Netz; Computeralgebra; Hochschulschrift