Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (Logical Methods in Computer Science, 2023)