Toward a Uniform Approach to the Unfolding of Nets

Eric Fabre, G. Michele Pinna

In this paper we introduce the notion of spread net. Spread nets are (safe) Petri nets equipped with vector clocks on places and with ticking functions on transitions, and are such…