A Study on Team Bisimulations for BPP Nets
- 30 June 2020
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
- Vol. 12152, 153-175
- https://doi.org/10.1007/978-3-030-51831-8_8
Abstract
BPP nets, a subclass of finite P/T nets, were equipped in [ 13 ] with an efficiently decidable, truly concurrent, behavioral equivalence, called team bisi-milarity. This equivalence is a very intuitive extension of classic bisimulation equivalence (over labeled transition systems) to BPP nets and it is checked in a distributed manner, without building a global model of the overall behavior of the marked BPP net. This paper has three goals. First, we provide BPP nets with various causality-based equivalences, notably a novel one, called causal-net bisimilarity, and (a version of) fully-concurrent bisimilarity [ 3 ]. Then, we define a variant equivalence, h-team bisimilarity, coarser than team bisimilarity. Then, we complete the study by comparing them with the causality-based semantics we have introduced: the main results are that team bisimilarity coincides with causal-net bisimilarity, while h-team bisimilarity with fully-concurrent bisimilarity.Keywords
This publication has 17 references indexed in Scilit:
- Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSPPublished by Springer Science and Business Media LLC ,2015
- Introduction to Concurrency TheoryPublished by Springer Science and Business Media LLC ,2015
- Non-interleaving bisimulation equivalences on Basic Parallel ProcessesInformation and Computation, 2010
- Branching processes of Petri netsActa Informatica, 1991
- Concurrent bisimulations in Petri netsActa Informatica, 1991
- Strong bisimilarity on nets revisitedLecture Notes in Computer Science, 1991
- Equivalence notions for concurrent systems and refinement of actionsLecture Notes in Computer Science, 1989
- Sequential and concurrent behaviour in Petri net theoryTheoretical Computer Science, 1987
- Petri net models for algebraic theories of concurrencyLecture Notes in Computer Science, 1987
- The non-sequential behaviour of Petri netsInformation and Control, 1983