Funktionale Analyse zeitbehafteter Petri-Netze - Bause, Falko (Dt. Univ.-Verl., 1992)