A generic causal model for place latency

AbstractFor a prototypical class of time-extended Petri nets it is shown that the extension does not increase their expressive power. The nets in this class have token latencies attributed to places. Place latency nets are formally defined together with their firing semantics. For any place latency system, an explicit construction of an elementary net system is given as an implementation, which is proven to be behaviourally equivalent. The adequacy problem of deciding which equivalence notion to apply is moderated by the fact that the implementation satisfies the B-condition, under which all better known equivalence notions coincide