Causal Semantics for BPP Nets with Silent Moves
| Autor: | Roberto Gorrieri |
|---|---|
| Přispěvatelé: | Gorrieri, R |
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: |
Algebra and Number Theory
Theoretical computer science TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES Causal semantics Petri net Theoretical Computer Science Causality (physics) Causality Weak and branching bisimulation TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Computational Theory and Mathematics Team bisimulation TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS BPP Information Systems Mathematics |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|