Analyzing paths in time petri nets (1999)

by L Popova-Zeugmann, D Schlatter
Venue:Fundam. Inform