Unfolding and finite prefix for nets with read arcs [chapter]

Walter Vogler, Alex Semenov, Alex Yakovlev
1998 Lecture Notes in Computer Science  
Petri nets with read arcs are investigated with respect to their unfolding, where read arcs model reading without consuming, which is often more adequate than the destructive-read-and-rewrite modelled with loops in ordinary nets. The paper rede nes the concepts of a branching process and unfolding for nets with read arcs and proves that the set of reachable markings of a net is completely represented by its unfolding. The speci c feature of branching processes of nets with read arcs is that the
more » ... notion of a co-set is no longer based only on the binary concurrency relation between the elements of the unfolding, contrary to ordinary nets. It is shown that the existing conditions for nite pre x construction (McMillan's one and its improvement b y Esparza et al.) can only be applied for a subclass of nets with read arcs, the so-called read-persistent nets. Though being restrictive, this subclass is su ciently practical due to its conformance to the notion of hazard-freedom in logic circuits. The latter appear to be one of the most promising applications for nets with read arcs.
doi:10.1007/bfb0055644 fatcat:74cby6izgbhnho2zw2wqfrxfoy