17 citations · 26 across the 12 of their papers we have counts for
12 papers
Decidable Reversible Equivalences for Finite Petri Nets
Roberto Gorrieri, Ivan Lanese
In the setting of Petri nets, we prove that {\em causal-net bisimilarity} \cite{G15,Gor22,Gor25a}, which is a refinement of history-preserving bisimilarity \cite{RT88,vGG89,DDM89},…
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…
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…
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…
Distributed Non-Interference
Roberto Gorrieri
Information flow security properties were defined some years ago (see, e.g., the surveys \cite{FG01,Ry01}) in terms of suitable equivalence checking problems. These definitions wer…
The Algebra of Nondeterministic Finite Automata
Roberto Gorrieri
A process algebra is proposed, whose semantics maps a term to a nondeterministic finite automaton (NFA, for short). We prove a representability theorem: for each NFA , there exi…