Arnaldo Cesco ; Roberto Gorrieri - Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets

lmcs:9285 - Logical Methods in Computer Science, December 21, 2023, Volume 19, Issue 4 - https://doi.org/10.46298/lmcs-19(4:37)2023
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri NetsArticle

Authors: 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 decidable for finite bounded Petri nets. The proofs are based on a generalization of the ordered marking proof technique that Vogler used to demonstrate that (strong) fully-concurrent bisimilarity (or, equivalently, history-preserving bisimilarity) is decidable on finite safe nets.


    Volume: Volume 19, Issue 4
    Published on: December 21, 2023
    Accepted on: November 22, 2023
    Submitted on: April 1, 2022
    Keywords: Computer Science - Logic in Computer Science

    Consultation statistics

    This page has been seen 519 times.
    This article's PDF has been downloaded 116 times.