Worst-case Analysis of Concurrent Systems with Duration Interval Petri Nets
Louchka Popova-Zeugmann, Monika Heiner · 1997
: This paper deals with computing the minimal and maximal execution durations in a given concurrent control system in order to support dependability engineering by assuring the meeting of prescribed deadlines. For that purpose, a new type of time-dependent Petri nets - the Duration Interval Petri net - is introduced, and a dedicated reachability graph is defined in a discrete way. Using this reachability graph, shortest and largest time paths between two arbitrary states of the control system, and by this way minimal and maximal execution times, can be computed. Keywords: system validation, qualitative and quantitative analysis, performance evaluation, worst-case analysis, time-dependent Petri nets, control systems. 1 Petri Net Based Methods to Improve System Dependability Among those methods, which aim at the improvement of the dependability of any system, different kinds of Petri net based validation techniques to avoid faults during the development phase have attracted a lot of atte...