Skip to Main content Skip to Navigation
Conference papers

Toward a Uniform Approach to the Unfolding of Nets

Eric Fabre 1 Giovanni Michele Pinna 2
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01943666
Contributor : Hervé Marchand <>
Submitted on : Tuesday, December 4, 2018 - 11:03:20 AM
Last modification on : Thursday, April 15, 2021 - 3:30:10 AM
Long-term archiving on: : Tuesday, March 5, 2019 - 1:03:40 PM

File

paper.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01943666, version 1
  • ARXIV : 1810.08038

Citation

Eric Fabre, Giovanni Michele Pinna. Toward a Uniform Approach to the Unfolding of Nets. DisCoTec 2018 - 13th International Federated Conference on Distributed Computing Techniques, Jun 2018, Madrid, Spain. pp.21-36. ⟨hal-01943666⟩

Share

Metrics

Record views

126

Files downloads

177