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 2024 Nov. 22];64. Available from: https://eceasst.org/index.php/eceasst/article/view/2151