{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:52:00Z","timestamp":1725511920122},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540712084"},{"type":"electronic","value":"9783540712091"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71209-1_18","type":"book-chapter","created":{"date-parts":[[2007,7,4]],"date-time":"2007-07-04T22:56:34Z","timestamp":1183589794000},"page":"216-230","source":"Crossref","is-referenced-by-count":8,"title":["From Time Petri Nets to Timed Automata: An Untimed Approach"],"prefix":"10.1007","author":[{"given":"Davide","family":"D\u2019Aprile","sequence":"first","affiliation":[]},{"given":"Susanna","family":"Donatelli","sequence":"additional","affiliation":[]},{"given":"Arnaud","family":"Sangnier","sequence":"additional","affiliation":[]},{"given":"Jeremy","family":"Sproston","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Information and Computation\u00a0104(1), 2\u201334 (1993)","journal-title":"Information and Computation"},{"key":"18_CR2","unstructured":"Alur, R., Dill, D.: Automata-theoretic verification of real-time systems. In: Formal Methods for Real-Time Computing, pp. 55\u201382 (1996)"},{"issue":"2","key":"18_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci.\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR4","first-page":"125","volume-title":"Proceedings of the 3rd International Conference on Quantitative Evaluation of Systems (QEST 2006)","author":"G. Behrmann","year":"2006","unstructured":"Behrmann, G., et al.: UPPAAL 4.0. In: Proceedings of the 3rd International Conference on Quantitative Evaluation of Systems (QEST 2006), pp. 125\u2013126. IEEE Computer Society Press, Los Alamitos (2006)"},{"issue":"3","key":"18_CR5","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1007\/3-540-36577-X_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Berthomieu","year":"2003","unstructured":"Berthomieu, B., Vernadat, F.: State class constructions for branching analysis of time Petri nets. In: Garavel, H., Hatcliff, J. (eds.) ETAPS 2003 and TACAS 2003. LNCS, vol.\u00a02619, pp. 442\u2013457. Springer, Heidelberg (2003)"},{"issue":"2-3","key":"18_CR7","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.tcs.2004.04.003","volume":"321","author":"P. Bouyer","year":"2004","unstructured":"Bouyer, P., et al.: Updatable timed automata. Theoretical Computer Science\u00a0321(2-3), 291\u2013345 (2004)","journal-title":"Theoretical Computer Science"},{"issue":"10","key":"18_CR8","doi-asserted-by":"publisher","first-page":"1456","DOI":"10.1016\/j.jss.2005.12.021","volume":"79","author":"F. Cassez","year":"2006","unstructured":"Cassez, F., Roux, O.H.: Structural translation from time Petri nets to timed automata. Journal of Systems and Software\u00a079(10), 1456\u20131468 (2006)","journal-title":"Journal of Systems and Software"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/11513988_41","volume-title":"Computer Aided Verification","author":"G. Gardey","year":"2005","unstructured":"Gardey, G., et al.: Romeo: A tool for analyzing time Petri nets. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 418\u2013423. Springer, Heidelberg (2005)"},{"issue":"3","key":"18_CR10","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S147106840600264X","volume":"6","author":"G. Gardey","year":"2006","unstructured":"Gardey, G., Roux, O.H., Roux, O.F.: State space computation and analysis of time Petri nets. Theory and Practice of Logic Programming (TPLP) (Special Issue on Specification Analysis and Verification of Reactive Systems)\u00a06(3), 301\u2013320 (2006)","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"key":"18_CR11","unstructured":"GreatSPN web site: \n                    \n                      http:\/\/www.di.unito.it\/~greatspn"},{"key":"18_CR12","unstructured":"Kronos web site: \n                    \n                      http:\/\/www-verimag.imag.fr\/TEMPORISE\/kronos\/"},{"issue":"2","key":"18_CR13","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s10626-006-8133-9","volume":"16","author":"D. Lime","year":"2006","unstructured":"Lime, D., Roux, O.H.: Model checking of time Petri nets using the state class timed automaton. Journal of Discrete Events Dynamic Systems - Theory and Applications (DEDS)\u00a016(2), 179\u2013205 (2006)","journal-title":"Journal of Discrete Events Dynamic Systems - Theory and Applications (DEDS)"},{"key":"18_CR14","unstructured":"Menasche, M., Berthomieu, B.: Time Petri nets for analyzing and verifying time dependent protocols. In: Protocol Specification, Testing and Verification III, pp. 161\u2013172 (1983)"},{"issue":"9","key":"18_CR15","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P.M. Merlin","year":"1976","unstructured":"Merlin, P.M., Farber, D.J.: Recoverability of communication protocols: Implications of a theoretical study. IEEE Trans. Comm.\u00a024(9), 1036\u20131043 (1976)","journal-title":"IEEE Trans. Comm."},{"key":"18_CR16","unstructured":"Romeo web site: \n                    \n                      http:\/\/romeo.rts-software.org\/"},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1109\/FTDCS.1997.644736","volume-title":"Proceedings of the 6th IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems (FTDCS\u201997)","author":"J. Toussaint","year":"1997","unstructured":"Toussaint, J., Simonot-Lion, F., Thomesse, J.-P.: Time constraints verification method based on time Petri nets. In: Proceedings of the 6th IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems (FTDCS\u201997), pp. 262\u2013267. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"18_CR18","unstructured":"Uppaal web site: \n                    \n                      http:\/\/www.uppaal.com"},{"issue":"1-2","key":"18_CR19","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","author":"S. Yovine","year":"1997","unstructured":"Yovine, S.: Kronos: A verification tool for real-time systems. International Journal of Software Tools for Technology Transfer\u00a01(1-2), 123\u2013133 (1997)","journal-title":"International Journal of Software Tools for Technology Transfer"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71209-1_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:16:41Z","timestamp":1605763001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71209-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540712084","9783540712091"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71209-1_18","relation":{},"subject":[]}}