Zeitbeschriftete Petri-Netze und FastAsy - Bihler, Elmar 1972- (2008)