Paper Info
Title
Causal Semantics For Bpp Nets With Silent Moves
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.
Year
DOI
Venue
2021
10.3233/FI-2021-2039
FUNDAMENTA INFORMATICAE
Keywords
DocType
Volume
Petri nets, BPP, Causality, Team bisimulation, Weak and branching bisimulation
Journal
180
Issue
ISSN
Citations 
3
0169-2968
0
PageRank 
References 
Authors
0.34
0
1
Name
Order
Citations
PageRank
Roberto Gorrieri12297184.63