Analyzing Paths in Time Petri Nets
Louchka Popova-Zeugmann, Dirk Schlatter · Fundamenta Informaticae · 1999
In this paper, a parametric description of a transition sequence in a Time Petri net is introduced. The minimal and maximal time duration of a transition sequence are shown to be integers and furthermore the min/max path passes only integer-states. A