M. Martos-Salgado and F. Rosa-Velardo, “On the decidability of model checking LTL fragments in monotonic extensions of Petri nets”, eceasst, vol. 64, Apr. 2015.