Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr. Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets. In Kamal Lodaya, Meena Mahajan, editors, FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings. Volume 3328 of Lecture Notes in Computer Science, pages 58-70, Springer, 2004. [doi]
Abstract is missing.