Martos-Salgado M, Rosa-Velardo F. On the decidability of model checking LTL fragments in monotonic extensions of Petri nets. ECEASST [Internet]. 2015 Apr. 2 [cited 2025 Aug. 14];64. Available from: https://www.eceasst.org/index.php/eceasst/article/view/2151