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
Lang, Frédéric; Salaün, Gwen; Hérilier, Rémi; Kramer, Jeff; Magee, Jeff Translating FSP into LOTOS and networks of automata. (English) Zbl 1214.68220 Formal Asp. Comput. 22, No. 6, 681-711 (2010). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{F. Lang} et al., Formal Asp. Comput. 22, No. 6, 681--711 (2010; Zbl 1214.68220) 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
D’Argenio, Pedro R.; Gebremichael, Biniam The coarsest congruence for timed automata with deadlines contained in bisimulation. (English) Zbl 1134.68383 Abadi, Martín (ed.) et al., CONCUR 2005 – concurrency theory. 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28309-9/pbk). Lecture Notes in Computer Science 3653, 125-140 (2005). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{P. R. D'Argenio} and \textit{B. Gebremichael}, Lect. Notes Comput. Sci. 3653, 125--140 (2005; Zbl 1134.68383) Full Text: DOI
Bozga, Marius; Graf, Susanne; Ober, Ileana; Ober, Iulian; Sifakis, Joseph The IF toolset. (English) Zbl 1105.68352 Bernardo, Marco (ed.) et al., Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13–18, 2004. Revised lectures. Berlin: Springer (ISBN 3-540-23068-8/pbk). Lecture Notes in Computer Science 3185, 237-267 (2004). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{M. Bozga} et al., Lect. Notes Comput. Sci. 3185, 237--267 (2004; Zbl 1105.68352) Full Text: DOI
Panek, Sebastian; Stursberg, Olaf; Engell, Sebastian Optimization of timed automata models using mixed-integer programming. (English) Zbl 1099.68674 Larsen, Kim G. (ed.) et al., Formal modeling and analysis of timed systems. First international workshop, FORMATS 2003, Marseille, France, September 6–7, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21671-5/pbk). Lecture Notes in Computer Science 2791, 73-87 (2004). MSC: 68Q85 68Q45 90B35 90C11 90C57 PDFBibTeX XMLCite \textit{S. Panek} et al., Lect. Notes Comput. Sci. 2791, 73--87 (2004; Zbl 1099.68674) Full Text: DOI