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…