{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T11:44:55Z","timestamp":1790509495418,"version":"4.1.0"},"reference-count":11,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,17]],"date-time":"2022-05-17T00:00:00Z","timestamp":1652745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,17]],"date-time":"2022-05-17T00:00:00Z","timestamp":1652745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,17]]},"DOI":"10.1109\/codit55151.2022.9803922","type":"proceedings-article","created":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T19:42:22Z","timestamp":1656618142000},"page":"21-26","source":"Crossref","is-referenced-by-count":7,"title":["High-level Colored Time Petri Nets for true concurrency modeling in real-time software"],"prefix":"10.1109","author":[{"given":"Imane","family":"Haur","sequence":"first","affiliation":[{"name":"Ecole centrale de Nantes, LS2N Huawei, Paris Research Center,Nantes, Paris,France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Luc","family":"Bechennec","sequence":"additional","affiliation":[{"name":"CNRS, LS2N,Nantes,France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier H.","family":"Roux","sequence":"additional","affiliation":[{"name":"Ecole centrale de Nantes, LS2N,Nantes,France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref4","first-page":"41","article-title":"An enumerative approach for analyzing time petri nets","volume":"9","author":"berthomieu","year":"1983","journal-title":"Information Processing proceedings of the IFIP congress 1983 ser IFIP congress series"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953371"},{"key":"ref10","first-page":"54","article-title":"Romeo: A para-metric model-checker for petri nets with stopwatches","author":"lime","year":"2009","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref11","author":"semiconductor","year":"2013","journal-title":"MPC5643L Microcontroller Reference Manual rev 10 ed NXP High Tech Campus 60 5656 AG Eindhoven The Netherlands"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp036"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"key":"ref2","first-page":"121","article-title":"A framework for the definition of variants of high-level petri nets","author":"kindler","year":"0","journal-title":"Proceedings of the Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (CPN '09)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3453417.3453437"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/11888116_23"}],"event":{"name":"2022 8th International Conference on Control, Decision and Information Technologies (CoDIT)","location":"Istanbul, Turkey","start":{"date-parts":[[2022,5,17]]},"end":{"date-parts":[[2022,5,20]]}},"container-title":["2022 8th International Conference on Control, Decision and Information Technologies (CoDIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9803856\/9803880\/09803922.pdf?arnumber=9803922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T20:21:09Z","timestamp":1658780469000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9803922\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,17]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/codit55151.2022.9803922","relation":{},"subject":[],"published":{"date-parts":[[2022,5,17]]}}}