Title: Funktionale Analyse zeitbehafteter Petri-Netze
Subjects: Petri nets, System analysis