BPP nets, a subclass of finite Place/Transition Petri nets, are equipped with some causal behavioral semantics, which are variations of fully-concurrent bisimilarity [3], inspired by weak [28] or branching bisimulation [12] on labeled transition systems. Then, we introduce novel, efficiently decidable, distributed semantics, inspired by team bisimulation [17] and h-team bisimulation [19], and show how they relate to these variants of fully-concurrent bisimulation.
Causal Semantics for BPP Nets with Silent Moves / Gorrieri, R. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - STAMPA. - 180:3(2021), pp. 179-249. [10.3233/FI-2021-2039]
Causal Semantics for BPP Nets with Silent Moves
Gorrieri, R
2021
Abstract
BPP nets, a subclass of finite Place/Transition Petri nets, are equipped with some causal behavioral semantics, which are variations of fully-concurrent bisimilarity [3], inspired by weak [28] or branching bisimulation [12] on labeled transition systems. Then, we introduce novel, efficiently decidable, distributed semantics, inspired by team bisimulation [17] and h-team bisimulation [19], and show how they relate to these variants of fully-concurrent bisimulation.File | Dimensione | Formato | |
---|---|---|---|
bpp-causal-Gorrieri.pdf
accesso aperto
Tipo:
Postprint
Licenza:
Licenza per accesso libero gratuito
Dimensione
619.05 kB
Formato
Adobe PDF
|
619.05 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.