Funktionale Analyse zeitbehafteter Petri-Netze - Falko Bause - E-bok | Bokus