{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:21:13Z","timestamp":1778498473017,"version":"3.51.4"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,3,16]],"date-time":"2012-03-16T00:00:00Z","timestamp":1331856000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s10703-012-0146-4","type":"journal-article","created":{"date-parts":[[2012,3,15]],"date-time":"2012-03-15T10:07:18Z","timestamp":1331806038000},"page":"330-355","source":"Crossref","is-referenced-by-count":10,"title":["A concurrency-preserving translation from time Petri nets to networks of timed automata"],"prefix":"10.1007","volume":"40","author":[{"given":"Sandie","family":"Balaguer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Chatain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,3,16]]},"reference":[{"key":"146_CR1","series-title":"LNCS","first-page":"290","volume-title":"Foundations of software technology and theoretical computer science (FSTTCS)","author":"S Akshay","year":"2007","unstructured":"Akshay S, Bollig B, Gastin P (2007) Automata and logics for timed message sequence charts. In: Foundations of software technology and theoretical computer science (FSTTCS). LNCS, vol 4855. Springer, New\u00a0Delhi, pp 290\u2013302"},{"key":"146_CR2","series-title":"LNCS","first-page":"82","volume-title":"International conference on concurrency theory (CONCUR)","author":"S Akshay","year":"2008","unstructured":"Akshay S, Bollig B, Gastin P, Mukund M, Narayan Kumar K (2008) Distributed timed automata with independently evolving clocks. In: International conference on concurrency theory (CONCUR). LNCS, vol 5201. Springer, Toronto, pp 82\u201397"},{"issue":"2","key":"146_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"key":"146_CR4","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1109\/TIME.2010.12","volume-title":"International symposium on temporal representation and reasoning (TIME)","author":"S Balaguer","year":"2010","unstructured":"Balaguer S, Chatain Th, Haar S (2010) A concurrency-preserving translation from time Petri nets to networks of timed automata. In: International symposium on temporal representation and reasoning (TIME). IEEE Computer Society Press, Paris, pp 77\u201384"},{"issue":"2\u20133","key":"146_CR5","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/j.tcs.2008.03.030","volume":"403","author":"B B\u00e9rard","year":"2008","unstructured":"B\u00e9rard B, Cassez F, Haddad S, Lime D, Roux OH (2008) When are timed automata weakly timed bisimilar to time Petri nets? Theor Comput Sci 403(2\u20133):202\u2013220","journal-title":"Theor Comput Sci"},{"issue":"3","key":"146_CR6","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time Petri nets. IEEE Trans Softw Eng 17(3):259\u2013273","journal-title":"IEEE Trans Softw Eng"},{"issue":"14","key":"146_CR7","doi-asserted-by":"crossref","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B Berthomieu","year":"2004","unstructured":"Berthomieu B, Ribet PO, Vernadat F (2004) The tool TINA\u2014construction of abstract state spaces for Petri nets and time Petri nets. Int J Prod Res 42(14):2741\u20132756","journal-title":"Int J Prod Res"},{"key":"146_CR8","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1007\/BFb0028779","volume-title":"International conference on computer aided verification (CAV)","author":"M Bozga","year":"1998","unstructured":"Bozga M, Daws C, Maler O, Olivero A, Tripakis S, Yovine S (1998) Kronos: a model-checking tool for real-time systems. In: International conference on computer aided verification (CAV). LNCS, vol 1427, pp 546\u2013550"},{"key":"146_CR9","series-title":"LNCS","first-page":"698","volume-title":"International conference on formal engineering methods","author":"J Byg","year":"2009","unstructured":"Byg J, Joergensen K, Srba J (2009) An efficient translation of timed-arc Petri nets to networks of timed automata. In: International conference on formal engineering methods. LNCS, vol 5885. Springer, Berlin, pp 698\u2013716"},{"key":"146_CR10","doi-asserted-by":"crossref","unstructured":"Cassez F, Roux OH (2006) Structural translation from time Petri nets to timed automata. J Syst Softw","DOI":"10.1016\/j.jss.2005.12.021"},{"key":"146_CR11","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/3-540-56922-7_21","volume-title":"International conference on computer aided verification (CAV)","author":"K Cerans","year":"1993","unstructured":"Cerans K, Godskesen JC, Larsen KG (1993) Timed modal specification\u2014theory and tools. In: International conference on computer aided verification (CAV). LNCS, vol 697. Springer, Berlin, pp 253\u2013267"},{"key":"146_CR12","first-page":"79","volume-title":"Proceedings of the 10th international conference on applications and theory of Petri nets","author":"JM Colom","year":"1991","unstructured":"Colom JM, Silva M (1991) Convex geometry and semiflows in P\/T nets. A comparative study of algorithms for computation of minimal p-semiflows. In: Proceedings of the 10th international conference on applications and theory of Petri nets. Springer, London, pp 79\u2013112"},{"key":"146_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free choice Petri nets","author":"J Desel","year":"1995","unstructured":"Desel J, Esparza J (1995) Free choice Petri nets. Cambridge University Press, New York"},{"key":"146_CR14","doi-asserted-by":"crossref","DOI":"10.1142\/9789814261456","volume-title":"The book of traces","author":"V Diekert","year":"1995","unstructured":"Diekert V, Rozenberg G (1995) The book of traces. World Scientific Publishing Co, Inc, River Edge"},{"key":"146_CR15","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/11513988_41","volume-title":"International conference on computer aided verification (CAV)","author":"G Gardey","year":"2005","unstructured":"Gardey G, Lime D, Magnin M, Roux OH (2005) Romeo: A tool for analyzing time Petri nets. In: International conference on computer aided verification (CAV). LNCS, vol 3576. Springer, Berlin, pp 418\u2013423"},{"issue":"3","key":"146_CR16","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S147106840600264X","volume":"6","author":"G Gardey","year":"2006","unstructured":"Gardey G, Roux OH, Roux OF (2006) State space computation and analysis of time Petri nets. Theory Pract Log Program 6(3):301\u2013320","journal-title":"Theory Pract Log Program"},{"key":"146_CR17","unstructured":"Hack M (1972) Analysis of production schemata by Petri nets. Master\u2019s thesis, Massachusetts Institute of Technology, Cambridge, USA"},{"key":"146_CR18","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/3-540-60084-1_93","volume-title":"International colloquium on automata, languages and programming (ICALP)","author":"TA Henzinger","year":"1995","unstructured":"Henzinger TA, Kopke PW, Wong-Toi H (1995) The expressive power of clocks. In: International colloquium on automata, languages and programming (ICALP), pp 417\u2013428"},{"issue":"3\u20134","key":"146_CR19","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen K, Kristensen LM, Wells L (2007) Coloured Petri nets and cpn tools for modelling and validation of concurrent systems. Int J Softw Tools Technol Transf 9(3\u20134):213\u2013254","journal-title":"Int J Softw Tools Technol Transf"},{"key":"146_CR20","doi-asserted-by":"crossref","first-page":"153","DOI":"10.3233\/FI-2000-43123408","volume":"43","author":"R Lanotte","year":"2000","unstructured":"Lanotte R, Maggiolo-Schettini A, Peron A (2000) Timed cooperating automata. Fundam Inform 43:153\u2013173","journal-title":"Fundam Inform"},{"issue":"1\u20132","key":"146_CR21","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen KG, Pettersson P, Yi W (1997) Uppaal in a nutshell. Int J Softw Tools Technol Transf 1(1\u20132):134\u2013152","journal-title":"Int J Softw Tools Technol Transf"},{"key":"146_CR22","unstructured":"Lautenbach K (1975) Liveness in Petri nets. Tech rep, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Bonn, Germany"},{"issue":"2","key":"146_CR23","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s10626-006-8133-9","volume":"16","author":"D Lime","year":"2006","unstructured":"Lime D, Roux OH (2006) Model checking of time Petri nets using the state class timed automaton. J Discrete Event Dyn Syst 16(2):179\u2013205","journal-title":"J Discrete Event Dyn Syst"},{"issue":"1","key":"146_CR24","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.tcs.2005.07.023","volume":"345","author":"D Lugiez","year":"2005","unstructured":"Lugiez D, Niebert P, Zennou S (2005) A partial order semantics approach to the clock explosion problem of timed automata. Theor Comput Sci 345(1):27\u201359","journal-title":"Theor Comput Sci"},{"key":"146_CR25","unstructured":"Merlin PM (1974) A study of the recoverability of computing systems. PhD thesis, University of California, Irvine"},{"key":"146_CR26","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/11867340_21","volume-title":"International conference on formal modelling and analysis of timed systems (FORMATS)","author":"P Niebert","year":"2006","unstructured":"Niebert P, Qu H (2006) Adding invariants to event zone automata. In: International conference on formal modelling and analysis of timed systems (FORMATS). LNCS, vol 4202. Springer, Berlin, pp 290\u2013305"},{"key":"146_CR27","first-page":"347","volume-title":"Symposium on theoretical aspects of computer science (STACS)","author":"J Sifakis","year":"1996","unstructured":"Sifakis J, Yovine S (1996) Compositional specification of timed systems (extended abstract). In: Symposium on theoretical aspects of computer science (STACS). Springer, London, pp 347\u2013359"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-012-0146-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-012-0146-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-012-0146-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,4]],"date-time":"2020-07-04T06:51:28Z","timestamp":1593845488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-012-0146-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,16]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["146"],"URL":"https:\/\/doi.org\/10.1007\/s10703-012-0146-4","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3,16]]}}}