{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T12:49:47Z","timestamp":1759063787080,"version":"3.37.3"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/Crown.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/tac.2017.2757085","type":"journal-article","created":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T18:08:13Z","timestamp":1506535693000},"page":"1821-1827","source":"Crossref","is-referenced-by-count":8,"title":["Extremum Cycle Times in Time Interval Models"],"prefix":"10.1109","volume":"63","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2273-991X","authenticated-orcid":false,"given":"Philippe","family":"Declerck","sequence":"first","affiliation":[]}],"member":"263","reference":[{"article-title":"Introduction aux m&#x00E9; thodes de points int&#x00E9;rieurs","year":"2001","author":"savard","key":"ref31"},{"key":"ref30","first-page":"7","article-title":"An algorithm to compute a basis of petri net invariants","author":"cayir","year":"2005","journal-title":"Proc Int Conf Elect Electron Eng"},{"article-title":"R&#x00E9;seaux de Petri P-temporels, &#x201C;Contribution &#x00E0;\n l&#x2019;&#x00E9;tude des syst&#x00E8;mes &#x00E0; Ev&#x00E9;nements discrets","year":"1997","author":"khansa","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(84)90067-X"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/81.139289"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_21"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2004.840069"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2005.851236"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2013.12.006"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2008.03.018"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/9.471219"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438222"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3182\/20130911-3-BR-3021.00027"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref3","first-page":"71","article-title":"Sizing and cycle time of an industrial plant using dioid algebra","author":"amari","year":"2004","journal-title":"Supply chain optimization"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68353-4_47"},{"article-title":"Performance analysis and optimization of asynchronous circuits","year":"1991","author":"burns","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2013.03.003"},{"article-title":"Petri Nets, and Grafcet, Tools for Modelling Discrete Event Systems","year":"1992","author":"david","key":"ref29"},{"key":"ref8","first-page":"1","article-title":"Temps de cycle des graphes d&#x2019;&#x00C9;v&#x00E9;nements temporis&#x00E9;s et P-temporels","author":"declerck","year":"2008","journal-title":"Proc Conf&#x00E9;rence Internationale Francophone d&#x2019;Automatique"},{"key":"ref7","first-page":"273","article-title":"Temporal requirements checking in a safety analysis of railway systems","author":"defossez","year":"2008","journal-title":"Proc Symp formal Methods Autom Safety Railway Autom Syst"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-013-0173-3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230492"},{"journal-title":"Discrete Event Systems in Dioid Algebra and Conventional Algebra","year":"2013","author":"declerck","key":"ref1"},{"article-title":"Analyse du comportement p&#x00E9;riodique\n de syst&#x00E8;mes de production par la th&#x00E9;orie des dio&#x00EF;des","year":"1983","author":"cohen","key":"ref20"},{"key":"ref22","first-page":"171","article-title":"A\n primal-dual algorithm for linear programs","author":"dantzig","year":"1956","journal-title":"Linear Inequalities and Related Systems"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2091297"},{"journal-title":"Introduction &#x00E0; l&#x2019;Optimisation","year":"1994","author":"culioli","key":"ref24"},{"journal-title":"Theory of Linear and Integer Programming","year":"1987","author":"schrijver","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2037471"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BF01458147"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/8357516\/08052174.pdf?arnumber=8052174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:26:29Z","timestamp":1642004789000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8052174\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":31,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tac.2017.2757085","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"type":"print","value":"0018-9286"},{"type":"electronic","value":"1558-2523"}],"subject":[],"published":{"date-parts":[[2018,6]]}}}