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