Toward a Uniform Approach to the Unfolding of Nets

Eric Fabre
(INRIA Rennes - Bretagne Atlantique, France)
G. Michele Pinna
(Università degli Studi di Cagliari, Italy)

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 that vector clocks are consistent with the ticking of transitions. Such nets generalize previous families of nets like unfoldings, merged processes and trellis processes, and can thus be used to represent runs of a net in a true concurrency semantics through an operation called the spreading of a net. By contrast with previous constructions, which may identify conflicts, spread nets allow loops in time

In Massimo Bartoletti and Sophia Knight: Proceedings 11th Interaction and Concurrency Experience (ICE 2018), Madrid, Spain, June 20-21, 2018, Electronic Proceedings in Theoretical Computer Science 279, pp. 21–36.
Published: 4th October 2018.

ArXived at: http://dx.doi.org/10.4204/EPTCS.279.5 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org