Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays
Louchka Popova-Zeugmann, Elisabeth Pelz · Fundamenta Informaticae · 2012
In this paper we consider Interval-Timed Petri nets (ITPN) which are an extension of Timed Petri nets. They are considered to behave with discrete delays. The class of ITPNs is Turing complete and therefore the reachability of an arbitrary marking in