Martos-Salgado, M.; Rosa-Velardo, F. On the Decidability of Model Checking LTL Fragments in Monotonic Extensions of Petri Nets. eceasst 2015, 64.