Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Krishna, Shankara Narayanan; Vaidya, Shaan Verification of timed asynchronous programs. (English) Zbl 1528.68075 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 8, 16 p. (2018). MSC: 68N30 68Q17 68Q45 68Q60 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 8, 16 p. (2018; Zbl 1528.68075) Full Text: DOI
Byg, Joakim; Jacobsen, Morten; Jacobsen, Lasse; Jørgensen, Kenneth Yrke; Møller, Mikael Harkjær; Srba, Jiří TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. (English) Zbl 1359.68216 Theor. Comput. Sci. 537, 3-28 (2014). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{J. Byg} et al., Theor. Comput. Sci. 537, 3--28 (2014; Zbl 1359.68216) Full Text: DOI
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří Verification of timed-arc Petri nets. (English) Zbl 1298.68175 Černá, Ivana (ed.) et al., SOFSEM 2011: Theory and practice of computer science. 37th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 22–28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18380-5/pbk). Lecture Notes in Computer Science 6543, 46-72 (2011). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{L. Jacobsen} et al., Lect. Notes Comput. Sci. 6543, 46--72 (2011; Zbl 1298.68175) Full Text: DOI
Srba, Jiří Comparing the expressiveness of timed automata and timed extensions of Petri nets. (English) Zbl 1171.68579 Cassez, Franck (ed.) et al., Formal modeling and analysis of timed systems. 6th international conference, FORMATS 2008, Saint Malo, France, September 15–17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85777-8/pbk). Lecture Notes in Computer Science 5215, 15-32 (2008). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{J. Srba}, Lect. Notes Comput. Sci. 5215, 15--32 (2008; Zbl 1171.68579) Full Text: DOI
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. (English) Zbl 1133.68053 Inf. Comput. 206, No. 1, 73-107 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Inf. Comput. 206, No. 1, 73--107 (2008; Zbl 1133.68053) Full Text: DOI