Causal Semantics for BPP Nets with Silent Moves

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 decidab...

Full description

Saved in:
Bibliographic Details
Published in:Fundamenta informaticae 2021-01, Vol.180 (3), p.179-249
Main Author: Gorrieri, Roberto
Format: Article
Language:English
Subjects:
Causality
Petri nets
Semantics
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0169-2968
1875-8681
DOI:10.3233/FI-2021-2039