Arnaldo Cesco, Roberto Gorrieri. Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11). In Claudio Sacerdoti Coen, Ivano Salvo, editors, Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021. Volume 3072 of CEUR Workshop Proceedings, pages 135-149, CEUR-WS.org, 2021. [doi]
Abstract is missing.