Toward a Uniform Approach to the Unfolding of Nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Toward a Uniform Approach to the Unfolding of Nets

Résumé

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.
Fichier principal
Vignette du fichier
paper.pdf (199.03 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-01943666 , version 1 (04-12-2018)

Identifiants

Citer

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⟩
73 Consultations
82 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More