Text this: Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets