{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T16:33:43Z","timestamp":1781714023431,"version":"3.54.5"},"reference-count":22,"publisher":"Informa UK Limited","issue":"6","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Cybernetics and Systems"],"published-print":{"date-parts":[[2025,8,18]]},"DOI":"10.1080\/01969722.2023.2247261","type":"journal-article","created":{"date-parts":[[2023,9,6]],"date-time":"2023-09-06T12:24:54Z","timestamp":1694003094000},"page":"886-916","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":2,"title":["Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches"],"prefix":"10.1080","volume":"56","author":[{"given":"Imane","family":"Haur","sequence":"first","affiliation":[{"name":"Nantes Universit\u00e9, \u00c9cole Centrale Nantes, CNRS, LS2N, UMR 6004","place":["Nantes, France"]},{"name":"Huawei Paris Research Center","place":["Boulogne Billancourt, France"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Luc","family":"B\u00e9chennec","sequence":"additional","affiliation":[{"name":"Nantes Universit\u00e9, \u00c9cole Centrale Nantes, CNRS, LS2N, UMR 6004","place":["Nantes, France"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier H.","family":"Roux","sequence":"additional","affiliation":[{"name":"Nantes Universit\u00e9, \u00c9cole Centrale Nantes, CNRS, LS2N, UMR 6004","place":["Nantes, France"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"301","published-online":{"date-parts":[[2023,9,6]]},"reference":[{"key":"e_1_3_3_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"key":"e_1_3_3_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_3_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"e_1_3_3_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0011-y"},{"key":"e_1_3_3_6_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp036"},{"key":"e_1_3_3_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953371"},{"issue":"3","key":"e_1_3_3_8_1","first-page":"225","article-title":"On the compared expressiveness of arc, place and transition time Petri Nets","volume":"88","author":"Boyer M.","year":"2008","unstructured":"Boyer, M., and O. H. Roux. 2008. On the compared expressiveness of arc, place and transition time Petri Nets. Fundamenta Informaticae 88 (3):225\u201349.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_3_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265815"},{"key":"e_1_3_3_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44618-4_12"},{"key":"e_1_3_3_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"e_1_3_3_12_1","unstructured":"Freescale Semiconductor. 2013. MPC5643L microcontroller reference manual. NXP."},{"key":"e_1_3_3_13_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"e_1_3_3_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11888116_23"},{"key":"e_1_3_3_15_1","unstructured":"Jones M. 1997. What really happened on mars rover pathfinder."},{"key":"e_1_3_3_16_1","unstructured":"Kindler E. and L. Petrucci. 2009. A framework for the definition of variants of high- level petri nets. In proceedings of the tenth workshop and tutorial on practical use of coloured petri nets and CPN tools (CPN '09) 121\u201337."},{"key":"e_1_3_3_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)32483-7"},{"key":"e_1_3_3_18_1","doi-asserted-by":"crossref","unstructured":"Lime D. O. H. Roux C. Seidner and L.-M. Traonouez. 2009. Romeo: a parametric model-checker for petri nets with stopwatches. In 15th international conference on tools and algorithms for the construction and analysis of systems (TACAS 2009) edited by Stefan K. and Anna P Vol. 5505 of Lecture Notes in Computer Science York United Kingdom Mar. 54\u201357. Springer.","DOI":"10.1007\/978-3-642-00768-2_6"},{"key":"e_1_3_3_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"e_1_3_3_20_1","doi-asserted-by":"crossref","unstructured":"Pnueli A. 1977. The temporal logic of programs. In 18th Annual Symposium on Foundations of Computer Science.","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_3_21_1","unstructured":"Ramchandani C. 1974. Analysis of asynchronous concurrent systems by timed petri nets. Technical Report. Providence RI: IEEE Computer Society. pp. 46\u201357."},{"key":"e_1_3_3_22_1","article-title":"A T-time Petri net extension for real time-task scheduling modeling","author":"Roux O.","year":"2002","unstructured":"Roux, O., and A.-M. Deplanche. 2002. A T-time Petri net extension for real time-task scheduling modeling. European Journal of Automation (JESA) 36 (7):973\u201387.","journal-title":"European Journal of Automation (JESA) 36 (7):973\u201387."},{"key":"e_1_3_3_23_1","article-title":"Time petri nets with inhibitor hyperarcs. Formal semantics and state space computation","author":"Roux O. H.","year":"2004","unstructured":"Roux, O. H., and D. Lime. 2004. Time petri nets with inhibitor hyperarcs. Formal semantics and state space computation. Applications and Theory of Petri Nets 2004, (ICATPN'04), volume 3099 of Lecture Notes in Computer Science, 371\u201390, Bologna, Italy, June 2004. Springer.","journal-title":"Applications and Theory of Petri Nets 2004, (ICATPN'04), volume 3099 of Lecture Notes in Computer Science, 371\u201390, Bologna, Italy, June 2004."}],"container-title":["Cybernetics and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/01969722.2023.2247261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T23:00:57Z","timestamp":1753398057000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/01969722.2023.2247261"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,6]]},"references-count":22,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2025,8,18]]}},"alternative-id":["10.1080\/01969722.2023.2247261"],"URL":"https:\/\/doi.org\/10.1080\/01969722.2023.2247261","relation":{},"ISSN":["0196-9722","1087-6553"],"issn-type":[{"value":"0196-9722","type":"print"},{"value":"1087-6553","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,6]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=ucbs20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=ucbs20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2023-09-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}