{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T21:39:41Z","timestamp":1791236381867,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540309468","type":"print"},{"value":"9783540316169","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11603009_17","type":"book-chapter","created":{"date-parts":[[2005,11,28]],"date-time":"2005-11-28T11:13:33Z","timestamp":1133176413000},"page":"211-225","source":"Crossref","is-referenced-by-count":60,"title":["Comparison of the Expressiveness of Timed Automata and Time Petri Nets"],"prefix":"10.1007","author":[{"given":"Beatrice","family":"B\u00e9rard","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Franck","family":"Cassez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Serge","family":"Haddad","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Didier","family":"Lime","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-45740-2_5","volume-title":"Applications and Theory of Petri Nets 2001","author":"P.A. Abdulla","year":"2001","unstructured":"Abdulla, P.A., Nyl\u00e9n, A.: Timed Petri nets and BQOs. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 53\u201372. Springer, Heidelberg (2001)"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S1567-8326(02)00022-X","volume":"52-53","author":"L. Aceto","year":"2002","unstructured":"Aceto, L., Laroussinie, F.: Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. Journal of Logic and Algebraic Programming\u00a052-53, 7\u201351 (2002)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"17_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.: A theory of timed automata. Theoretical Computer Science B\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science B"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/S0304-3975(97)00173-4","volume":"211","author":"R. Alur","year":"1999","unstructured":"Alur, R., Fix, L., Henzinger, T.A.: Event-Clock Automata: A Determinizable Class of Timed Automata. Theoretical Computer Science\u00a0211, 253\u2013273 (1999)","journal-title":"Theoretical Computer Science"},{"issue":"1\u20132","key":"17_CR5","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/S0304-3975(99)00114-0","volume":"243","author":"T. Aura","year":"2000","unstructured":"Aura, T., Lilius, J.: A causal semantics for time Petri nets. Theoretical Computer Science\u00a0243(1\u20132), 409\u2013447 (2000)","journal-title":"Theoretical Computer Science"},{"key":"17_CR6","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\u00a04(12) (July 2004)","DOI":"10.1080\/00207540412331312688"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"B\u00e9rard, B., Cassez, F., Haddad, S., Lime, D., Roux, O.H.: Comparison of the Expressiveness of Timed Automata and Time Petri Nets. Research Report IRCCyN R2005-2 (2005), available at http:\/\/www.lamsade.dauphine.fr\/~haddad\/publis.html","DOI":"10.1007\/11603009_17"},{"issue":"3","key":"17_CR8","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":"17_CR9","doi-asserted-by":"crossref","unstructured":"Boyer, M., Diaz, M.: Non equivalence between time Petri nets and time stream Petri nets. In: Proceedings of 8th International Workshop on Petri Nets and Performance Modeling (PNPM 1999), Zaragoza, Spain, pp. 198\u2013207 (1999)","DOI":"10.1109\/PNPM.1999.796566"},{"key":"17_CR10","series-title":"Electronic Notes in Computer Science","volume-title":"Workshop on Automated Verification of Critical Systems (AVoCS 2004)","author":"F. Cassez","year":"2004","unstructured":"Cassez, F., Roux, O.H.: Structural Translation of Time Petri Nets into Timed Automata. In: Huth, M. (ed.) Workshop on Automated Verification of Critical Systems (AVoCS 2004). Electronic Notes in Computer Science. Elsevier, Amsterdam (2004)"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-44988-4_12","volume-title":"Application and Theory of Petri Nets 2000","author":"D. Frutos Escrig de","year":"2000","unstructured":"de Frutos Escrig, D., Valero Ruiz, V., Marroqu\u00edn Alonso, O.: Decidability of properties of timed-arc Petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 187\u2013206. Springer, Heidelberg (2000)"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/3-540-58152-9_13","volume-title":"Application and Theory of Petri Nets 1994","author":"M. Diaz","year":"1994","unstructured":"Diaz, M., Senac, P.: Time stream Petri nets: a model for timed multimedia information. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 219\u2013238. Springer, Heidelberg (1994)"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D.L. Dill","year":"1990","unstructured":"Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407. Springer, Heidelberg (1990)"},{"key":"17_CR14","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., Magin, M., Roux, O.H.: 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)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Haar, S., Simonot-Lion, F., Kaiser, L., Toussaint, J.: Equivalence of Timed State Machines and safe Time Petri Nets. In: Proceedings of WODES 2002, Zaragoza, Spain, pp. 119\u2013126 (2002)","DOI":"10.1109\/WODES.2002.1167678"},{"key":"17_CR16","unstructured":"Khansa, W., Denat, J.P., Collart-Dutilleul, S.: P-Time Petri Nets for manufacturing systems. In: WODES 1996, Scotland, pp. 94\u2013102 (1996)"},{"key":"17_CR17","volume-title":"PNPM 2003","author":"D. Lime","year":"2003","unstructured":"Lime, D., Roux, O.H.: State class timed automaton of a time Petri net. In: PNPM 2003. IEEE Computer Society, Los Alamitos (2003)"},{"key":"17_CR18","unstructured":"Merlin, P.M.: A study of the recoverability of computing systems. PhD thesis, University of California, Irvine, CA (1974)"},{"key":"17_CR19","unstructured":"Pezz\u00e9, M., Young, M.: Time Petri Nets: A Primer Introduction. Tutorial presented at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications, Zaragoza, Spain (September 1999)"},{"key":"17_CR20","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA (1974)"},{"key":"17_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/3-540-10001-6_30","volume-title":"Net Theory and Applications","author":"J. Sifakis","year":"1980","unstructured":"Sifakis, J.: Performance Evaluation of Systems using Nets. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol.\u00a084, pp. 307\u2013319. Springer, Heidelberg (1980)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11603009_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T23:23:39Z","timestamp":1736119419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11603009_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540309468","9783540316169"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11603009_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}