{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:38:19Z","timestamp":1730209099908,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T00:00:00Z","timestamp":1688342400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T00:00:00Z","timestamp":1688342400000},"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":[[2023,7,3]]},"DOI":"10.1109\/codit58514.2023.10284333","type":"proceedings-article","created":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T17:46:12Z","timestamp":1698169572000},"page":"99-104","source":"Crossref","is-referenced-by-count":0,"title":["Representation of Time Petri Nets using Interval Weighted Automata"],"prefix":"10.1109","author":[{"given":"B.","family":"Daviaud","sequence":"first","affiliation":[{"name":"Univ Angers, LARIS, SFR MATHSTIC,Angers,France,F-49000"}]},{"given":"S.","family":"Lahaye","sequence":"additional","affiliation":[{"name":"Univ Angers, LARIS, SFR MATHSTIC,Angers,France,F-49000"}]},{"given":"M.","family":"Lhommeau","sequence":"additional","affiliation":[{"name":"Univ Angers, LARIS, SFR MATHSTIC,Angers,France,F-49000"}]},{"given":"J.","family":"Komenda","sequence":"additional","affiliation":[{"name":"Institute of Mathematics - Brno Branch, Czech Academy of Sciences,Czech Republic"}]}],"member":"263","reference":[{"key":"ref13","first-page":"123","article-title":"On the compared expressiveness of arc, place and transition time petri nets","volume":"1?2","author":"yoneda","year":"1998","journal-title":"IEICE Transactions on Information and Systems"},{"key":"ref12","article-title":"State space abstractions for time petri nets","author":"berthomieu","year":"2007","journal-title":"Handbook of Real-Time and Embedded Systems"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1017\/S147106840600264X"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/3-540-36577-X_33"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/TAC.2019.2910168"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/32.75415"},{"key":"ref22","article-title":"An enumerative approach for analyzing time petri nets","author":"berthomieu","year":"1983","journal-title":"IFIP Congress Series"},{"key":"ref10","first-page":"225","article-title":"On the compared expressiveness of arc, place and transition time petri nets","volume":"88","author":"boyer","year":"2008","journal-title":"Fundamenta Informaticae"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/s10626-011-0100-4"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/9.478227"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/978-3-642-01492-5"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1016\/j.jss.2005.12.021"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/s10626-006-8133-9"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/TAC.2014.2363916"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1016\/j.tcs.2012.12.005"},{"key":"ref8","first-page":"1","article-title":"Determinization of timed Petri nets behaviors","author":"komenda","year":"2015","journal-title":"Discrete Event Dynamic Systems"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1016\/j.ifacol.2021.04.049"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1016\/j.ifacol.2021.04.018"},{"key":"ref4","first-page":"105","article-title":"The synthesis of time optimal supervisors by using heaps-of-pieces","volume":"57","author":"su","year":"2012","journal-title":"IEEE TAC"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/s10626-009-0083-6"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/s10626-014-0186-6"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/9.754807"}],"event":{"name":"2023 9th International Conference on Control, Decision and Information Technologies (CoDIT)","start":{"date-parts":[[2023,7,3]]},"location":"Rome, Italy","end":{"date-parts":[[2023,7,6]]}},"container-title":["2023 9th International Conference on Control, Decision and Information Technologies (CoDIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10284032\/10284045\/10284333.pdf?arnumber=10284333","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T19:03:04Z","timestamp":1699902184000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10284333\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,3]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/codit58514.2023.10284333","relation":{},"subject":[],"published":{"date-parts":[[2023,7,3]]}}}