Extreme Runtimes of Schedules Modelled by Time Petri Nets
Louchka Popova-Zeugmann, Matthias Werner · Fundamenta Informaticae · 2005
In this paper, a method to determine best-case and worst-case times between two arbitrary markings in a bounded TPN is presented. The method uses a discrete subset of the state space of the net and achieves the results, which are integers, in polynomial time. As an application of the method the solution of a scheduling problem is shown.