{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T04:01:52Z","timestamp":1791086512758,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540292098","type":"print"},{"value":"9783540319696","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11562948_23","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T14:06:40Z","timestamp":1128953200000},"page":"293-307","source":"Crossref","is-referenced-by-count":46,"title":["Comparison of Different Semantics for Time Petri Nets"],"prefix":"10.1007","author":[{"given":"B.","family":"B\u00e9rard","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"F.","family":"Cassez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Haddad","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Didier","family":"Lime","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"O. H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"23_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":"23_CR2","series-title":"Wiley Series in Parallel Computing","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone Marsan","year":"1994","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons, Chichester (1994) ISBN: 0-471-93059-8"},{"key":"23_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"},{"issue":"1\u20132","key":"23_CR4","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"},{"issue":"3","key":"23_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"},{"issue":"14","key":"23_CR6","doi-asserted-by":"publisher","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B. Berthomieu","year":"2004","unstructured":"Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool TINA - Construction of Abstract State Spaces for Petri Nets and Time Petri Nets. International Journal of Production Research\u00a042(14), 2741\u20132756 (2004)","journal-title":"International Journal of Production Research"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.) TACAS 2003. LNCS, vol.\u00a02619, pp. 442\u2013457. Springer, Heidelberg (2003)"},{"key":"23_CR8","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, August 2004. Elsevier, Amsterdam (2004)"},{"key":"23_CR9","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., Ruiz, V.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":"23_CR10","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":"23_CR11","unstructured":"Gardey, G., Lime, D., Roux, O.(H.): Rom\u00e9o: A tool for Time Petri Nets Analysis (2003), The tool can be freely downloaded from www.irccyn.ec-nantes.fr\/irccyn\/d\/fr\/equipes\/TempsReel\/logs"},{"key":"23_CR12","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":"23_CR13","doi-asserted-by":"crossref","unstructured":"Lilius, J.: Efficient state space search for time Petri nets. Electronic Notes in Theoretical Computer Science\u00a018 (1999)","DOI":"10.1016\/S1571-0661(05)80254-3"},{"key":"23_CR14","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, September 2003. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"23_CR15","unstructured":"Merlin, P.M.: A study of the recoverability of computing systems. PhD thesis, University of California, Irvine, CA (1974)"},{"issue":"4","key":"23_CR16","first-page":"227","volume":"27","author":"L. Popova","year":"1991","unstructured":"Popova, L.: On time Petri nets. Journal Information Processing and Cybernetics, EIK\u00a027(4), 227\u2013244 (1991)","journal-title":"Journal Information Processing and Cybernetics, EIK"},{"key":"23_CR17","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA (1974)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562948_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:52:17Z","timestamp":1605642737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562948_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292098","9783540319696"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11562948_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}