{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T00:50:41Z","timestamp":1791420641362,"version":"4.3.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540272311","type":"print"},{"value":"9783540316862","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11513988_41","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T13:33:28Z","timestamp":1268400808000},"page":"418-423","source":"Crossref","is-referenced-by-count":101,"title":["Romeo: A Tool for Analyzing Time Petri Nets"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Gardey","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Didier","family":"Lime","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Morgan","family":"Magnin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier (H. )","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"7","key":"41_CR1","first-page":"973","volume":"36","author":"O.H. Roux","year":"2002","unstructured":"Roux, O.H., 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":"41_CR2","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 transactions on software engineering\u00a030, 97\u2013111 (2004)","journal-title":"IEEE transactions on software engineering"},{"key":"41_CR3","series-title":"ENTCS","volume-title":"Fourth International Workshop on Automated Verification of Critical Systems (AVoCS 2004)","author":"F. Cassez","year":"2004","unstructured":"Cassez, F., Roux, O.H.: Structural translation from time Petri nets to timed automata. In: Cassez, F., Roux, O.H. (eds.) Fourth International Workshop on Automated Verification of Critical Systems (AVoCS 2004), London (UK). ENTCS, Elsevier, Amsterdam (2004)"},{"key":"41_CR4","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 software engineering\u00a017, 259\u2013273 (1991)","journal-title":"IEEE trans. on software engineering"},{"key":"41_CR5","doi-asserted-by":"crossref","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 (2005) (to appear)","DOI":"10.1017\/S147106840600264X"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Lime, D., Roux, O.H.: State class timed automaton of a time Petri net. In: 10th International Workshop on Petri Nets and Performance Models, PNPM 2003 (2003)","DOI":"10.1109\/PNPM.2003.1231549"},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"Lime, D., Roux, O.H.: A translation based method for the timed analysis of scheduling extended time Petri nets. In: The 25th IEEE RTSS 2004, Lisbon, Portugal (2004)","DOI":"10.1109\/REAL.2004.9"},{"key":"41_CR8","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. International Journal of Production Research\u00a042 (2004), Tool available at http:\/\/www.laas.fr\/tina\/","DOI":"10.1080\/00207540412331312688"},{"key":"41_CR9","doi-asserted-by":"crossref","unstructured":"Bucci, G., Sassoli, L., Vicario, E.: Oris: A tool for state-space analysis of real-time preemptive systems. In: Quantitative Evaluation of Systems, First International Conference on (QEST 2004), pp. 70\u201379 (2004)","DOI":"10.1109\/QEST.2004.1348021"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11513988_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:05:09Z","timestamp":1605643509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11513988_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540272311","9783540316862"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11513988_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}