Martos-Salgado, M. and Rosa-Velardo, F. (2015) “On the decidability of model checking LTL fragments in monotonic extensions of Petri nets”, Electronic Communications of the EASST, 64. doi: 10.14279/tuj.eceasst.64.988.