{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T17:55:41Z","timestamp":1790877341912,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642007675","type":"print"},{"value":"9783642007682","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00768-2_6","type":"book-chapter","created":{"date-parts":[[2009,3,26]],"date-time":"2009-03-26T21:16:10Z","timestamp":1238102170000},"page":"54-57","source":"Crossref","is-referenced-by-count":94,"title":["Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches"],"prefix":"10.1007","author":[{"given":"Didier","family":"Lime","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Charlotte","family":"Seidner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Louis-Marie","family":"Traonouez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Merlin, P.: A study of the recoverability of computing systems. PhD thesis, Department of Information and Computer Science, Univ. of California, Irvine (1974)"},{"issue":"7","key":"6_CR2","first-page":"973","volume":"36","author":"O. Roux","year":"2002","unstructured":"Roux, O., D\u00e9planche, A.M.: A t-time Petri net extension for real time-task scheduling modeling. European Journal of Automation (JESA)\u00a036(7), 973\u2013987 (2002)","journal-title":"European Journal of Automation (JESA)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-540-27793-4_21","volume-title":"Applications and Theory of Petri Nets 2004","author":"O.H. Roux","year":"2004","unstructured":"Roux, O.H., Lime, D.: Time petri nets with inhibitor hyperarcs. Formal semantics and state space computation. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 371\u2013390. Springer, Heidelberg (2004)"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/TSE.2004.1265815","volume":"30","author":"G. Bucci","year":"2004","unstructured":"Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Time state space analysis of real-time preemptive systems. IEEE trans. on Soft. Eng.\u00a030(2), 97\u2013111 (2004)","journal-title":"IEEE trans. on Soft. Eng."},{"issue":"2","key":"6_CR5","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10626-006-0011-y","volume":"17","author":"B. Berthomieu","year":"2007","unstructured":"Berthomieu, B., Lime, D., Roux, O.H., Vernadat, F.: Reachability problems and abstract state spaces for time Petri nets with stopwatches. Discrete Event Dynamic Systems\u00a017(2), 133\u2013158 (2007)","journal-title":"Discrete Event Dynamic Systems"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-540-85778-5_20","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"L.-M. Traonouez","year":"2008","unstructured":"Traonouez, L.-M., Lime, D., Roux, O.H.: Parametric model-checking of time Petri nets with stopwatches using the state-class graph. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol.\u00a05215, pp. 280\u2013294. Springer, Heidelberg (2008)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Ribet, P.O., Vernadat, F.: The tool tina \u2013 construction of abstract state spaces for Petri nets and time Petri nets. Int. Journal of Production Research 42(4) (July 2004), \n                    \n                      http:\/\/www.laas.fr\/tina\/","DOI":"10.1080\/00207540412331312688"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Bucci, G., Sassoli, L., Vicario, E.: Oris: A tool for state-space analysis of real-time preemptive systems. In: QEST 2004 (2004)","DOI":"10.1109\/QEST.2004.1348021"},{"issue":"3","key":"6_CR9","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 trans. on Soft. Eng.\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE trans. on Soft. Eng."},{"issue":"3","key":"6_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)\u00a06(3), 301\u2013320 (2006); Copyright Cambridge Press","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"key":"6_CR11","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.: Model-checking in dense real-time. Information and Computation\u00a0104, 2\u201334 (1993)","journal-title":"Information and Computation"},{"key":"6_CR12","first-page":"111","volume-title":"ACSD","author":"R. Hadjidj","year":"2006","unstructured":"Hadjidj, R., Boucheneb, H.: On-the-fly TCTL model checking for time Petri nets using state class graphs. In: ACSD, pp. 111\u2013122. IEEE Computer Society Press, Los Alamitos (2006)"},{"issue":"1\u20132","key":"6_CR13","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer\u00a01(1\u20132), 134\u2013152 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"6_CR14","unstructured":"Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library. Quaderno 457, Dipartimento di Matematica, Universit\u00e0 di Parma, Italy (2006)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/11513988_41","volume-title":"Computer Aided Verification","author":"G. Gardey","year":"2005","unstructured":"Gardey, G., Lime, D., Magnin, M., Roux, O(H.): Rom\u00e9o: 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)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00768-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T07:15:51Z","timestamp":1548400551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00768-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642007675","9783642007682"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00768-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}