{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T09:53:41Z","timestamp":1790675621230,"version":"4.1.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,1,25]],"date-time":"2007-01-25T00:00:00Z","timestamp":1169683200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2007,1,25]],"date-time":"2007-01-25T00:00:00Z","timestamp":1169683200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2007,6]]},"DOI":"10.1007\/s10626-006-0011-y","type":"journal-article","created":{"date-parts":[[2007,1,25]],"date-time":"2007-01-25T01:59:00Z","timestamp":1169690340000},"page":"133-158","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":46,"title":["Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches"],"prefix":"10.1007","volume":"17","author":[{"given":"Bernard","family":"Berthomieu","sequence":"first","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"}]},{"given":"Fran\u00e7ois","family":"Vernadat","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,1,25]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur R, Courcoubetis C, Halbwachs N, Henzinger T, Ho P-H, Nicollin X, Oliver A, Sifakis J, Yovine S (1995) The algorithmic analysis of hybrid systems. Theor Comp Sci 138:3\u201334","journal-title":"Theor Comp Sci"},{"key":"11_CR2","unstructured":"Berthomieu B (2001) La m\u00e9thode des classes d\u2019\u00e9tats pour l\u2019analyse des r\u00e9seaux Temporels \u2013 Mise en \u0153uvre, Extension \u00e0 la multi-sensibilisation. Proc. Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs, Toulouse, France, October"},{"issue":"3","key":"11_CR3","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using Time Petri Nets. IEEE Trans Softw Eng 17(3):259\u2013273, March","journal-title":"IEEE Trans Softw Eng"},{"key":"11_CR4","first-page":"41","volume":"9","author":"B Berthomieu","year":"1983","unstructured":"Berthomieu B, Menasche M (1983) An enumerative approach for analyzing Time Petri Nets. IFIP Congr Ser 9:41\u201346","journal-title":"IFIP Congr Ser"},{"issue":"14","key":"11_CR5","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 (2004) The tool TINA \u2013 Construction of abstract state spaces for Petri Nets and Time Petri Nets. Int J Prod Res 42(14):2741\u20132756, 15 July","journal-title":"Int J Prod Res"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Berthomieu B, Vernadat F (2003) State class constructions for branching analysis of Time Petri Nets. In: Proceedings tools and algorithms for the construction and analysis of systems, vol 2619. Springer LNCS","DOI":"10.1007\/3-540-36577-X_33"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Boucheneb H, Hadjidj R (2004) Towards optimal CTL\n                           * model checking of Time Petri nets. In: Proceedings of 7th workshop on discrete events systems, Reims, France, September","DOI":"10.1016\/S1474-6670(17)30789-9"},{"issue":"2","key":"11_CR8","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 (2004) Time state space analysis of real-time preemptive systems. IEEE Trans Softw Eng 30(2):97\u2013111, February","journal-title":"IEEE Trans Softw Eng"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Cassez F, Larsen KG (2000) The impressive power of stopwatches. In: 11th international conference on concurrency theory, University Park, PA, USA, vol 1877. Springer LNCS, pp 138\u2013152","DOI":"10.1007\/3-540-44618-4_12"},{"key":"11_CR10","unstructured":"\u010cer\u0101ns K (1992) Algorithmic problems in analysis of real time system specifications, Dr.sc.comp. Thesis, University of Latvia"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Daws C, Tripakis S (1998) Model checking of real-time reachability properties using abstractions. In: Proceedings tools and algorithms for the construction and analysis of systems (TACAS\u20191998), vol 1384. Springer LNCS","DOI":"10.1007\/BFb0054180"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Gardey G, Lime D, Magnin M, Roux OH (2005) Rom\u00e9o: a tool for analyzing time Petri nets. In: 17th international conference on computer aided verification, CAV\u201905, vol 3576. Springer LNCS, July","DOI":"10.1007\/11513988_41"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Kopke PW, Puri A, Varaiya P (1995) What\u2019s decidable about hybrid automata? In: Proceedings of the 27th annual symposium on theory of computing, ACM Press, pp 373\u2013382","DOI":"10.1145\/225058.225162"},{"key":"11_CR14","unstructured":"Jeannet B (2002) The Polka Convex Polyhedra library, Edition 2.0.1, http:\/\/www.irisa.fr\/prive\/bjeannet\/newpolka.html, IRISA, Rennes"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/0304-3975(77)90014-7","volume":"4","author":"ND Jones","year":"1977","unstructured":"Jones ND, Landweber LH, Lien YE (1977) Complexity of some problems in Petri Nets. Theor Comp Sci 4:277\u2013299","journal-title":"Theor Comp Sci"},{"key":"11_CR16","unstructured":"Lime D, Roux OH (2003) Expressiveness and analysis of scheduling extended time Petri nets. In: 5th IFAC international conference on fieldbus systems and their applications (FET\u201903), Elsevier Science, July"},{"key":"11_CR17","unstructured":"Merlin PM (1974) A study of the recoverability of computing systems. PhD Thesis, Irvive"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"437","DOI":"10.2307\/1970290","volume":"74","author":"M Minsky","year":"1961","unstructured":"Minsky M (1961) Recursive unsolvability of post\u2019s problem. Ann of Math 74:437\u2013454","journal-title":"Ann of Math"},{"key":"11_CR19","unstructured":"Roux OH, D\u00e9planche A-M (2002) A t-time Petri net extension for real time task scheduling modeling. Eur Journal of Automation (JESA)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Roux OH, Lime D (2004) Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation. In: Proceedings international conference on applications and theory of petri nets (ICATPN\u201904), Bologna, Italy","DOI":"10.1007\/978-3-540-27793-4_21"},{"key":"11_CR21","volume-title":"Theory of linear and integer programming","author":"A Schrijver","year":"1986","unstructured":"Schrijver A (1986) Theory of linear and integer programming. Wiley, New York"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-006-0011-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-006-0011-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-006-0011-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-006-0011-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,18]],"date-time":"2022-05-18T00:01:07Z","timestamp":1652832067000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-006-0011-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,25]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["11"],"URL":"https:\/\/doi.org\/10.1007\/s10626-006-0011-y","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1,25]]},"assertion":[{"value":"6 January 2006","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 October 2006","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 January 2007","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}