17 citations · 26 across the 12 of their papers we have counts for
Showing 2023 · cs.LOShow all
3 papers · 2 filters
cs.LO2023
Compositional Semantics of Finite Petri Nets
Roberto Gorrieri
Structure-preserving bisimilarity is a truly concurrent behavioral equivalence for finite Petri nets, which relates markings (of the same size only) generating the same causal nets…
cs.LO2023
Branching Place Bisimilarity
Roberto Gorrieri
Place bisimilarity is a behavioral equivalence for finite Petri nets, proposed in \cite{ABS91} and proved decidable in \cite{Gor21}. In this paper we propose an extension to finite…
cs.LO2023
Compositional Net Semantics up to Step Net Bisimilarity
Roberto Gorrieri
Step net bisimilarity \cite{Gor23} is a truly concurrent behavioral equivalence for finite Petri nets, which is defined as a smooth generalization of standard step bisimilarity \ci…