17 citations · 26 across the 12 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021
A Decidable Equivalence for a Turing-complete, Distributed Model of Computation
Arnaldo Cesco, Roberto Gorrieri
Place/Transition Petri nets with inhibitor arcs (PTI nets for short), which are a well-known Turing-complete, distributed model of computation, are equipped with a decidable, behav…
cs.LO2021★ 1 cited
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
Arnaldo Cesco, Roberto Gorrieri
We prove that the well-known (strong) fully-concurrent bisimilarity and the novel i-causal-net bisimilarity, which is a sligtlhy coarser variant of causal-net bisimilarity, are dec…
cs.LO2021★ 2 cited
Place Bisimilarity is Decidable, Indeed!
Roberto Gorrieri
Place bisimilarity is a behavioral equivalence for finite Petri nets, originally proposed in \cite{ABS91}, that, differently from all the other behavioral relations propos…