Funktionale Analyse Zeitbehafteter Petri-Netze - Falko Bause - Häftad | Bokus