Spreading nets: a uniform approach to unfoldings - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Logical and Algebraic Methods in Programming Année : 2020

Spreading nets: a uniform approach to unfoldings

Résumé

This paper is devoted to the study of the notion of spread net. A spread net is a (safe) Petri nets where each place is annotated with some information, taken from a suitable information domain, about how such place can get marked. Spread nets generalize various kinds of nets used to represent the non sequential behaviours of a safe net, like unfoldings, merged processes or trellis processes. The spreading of a net may allow to produce more compact (partially unfolded) nets representing the non sequential behaviour of a net, depending on the chosen information domain. In particular in a spread net it is possible to merge not only conflicting runs, but also to partially refold time, as spread nets allow loops in time.
Fichier principal
Vignette du fichier
jlamp-paper-comple-rev2.pdf (652.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03130461 , version 1 (03-02-2021)

Identifiants

Citer

G. Michele Michele Pinna, Eric Fabre. Spreading nets: a uniform approach to unfoldings. Journal of Logical and Algebraic Methods in Programming, 2020, 112, pp.1 - 33. ⟨10.1016/j.jlamp.2020.100526⟩. ⟨hal-03130461⟩
39 Consultations
99 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More