{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:24:40Z","timestamp":1777634680219,"version":"3.51.4"},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"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":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1109\/tac.2021.3093618","type":"journal-article","created":{"date-parts":[[2021,6,30]],"date-time":"2021-06-30T19:29:07Z","timestamp":1625081347000},"page":"2800-2815","source":"Crossref","is-referenced-by-count":24,"title":["Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications"],"prefix":"10.1109","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3204-9656","authenticated-orcid":false,"given":"Francesco","family":"Basile","sequence":"first","affiliation":[{"name":"Dipartimento di Ingegneria dell’Informazione ed Elettrica e Matematica Applicata, Università degli Studi di Salerno, Fisciano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5439-1743","authenticated-orcid":false,"given":"Roberto","family":"Cordone","sequence":"additional","affiliation":[{"name":"Department of Computer Science “Giovanni Degli Antoni”, Università degli Studi di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6063-8060","authenticated-orcid":false,"given":"Luigi","family":"Piroddi","sequence":"additional","affiliation":[{"name":"Department of Electronics, Information and Bioengineering, Politecnico di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2015.2482219"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2006.890281"},{"key":"ref4","article-title":"Analysis of asynchronous concurrent systems by timed Petri nets","author":"Ramchandani","year":"1974"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875448"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2017201"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.195"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.matcom.2005.11.003"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2363916"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2910168"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1993.325157"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008252325849"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2914895"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678434"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2012.743038"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.018"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2076397"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10001-6_24"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.812788"},{"key":"ref23","volume":"433","author":"Seatzu","year":"2012","journal-title":"Control of Discrete Event Systems. Automata and Petri Net Perspectives (Lecture Notes in Control and Information Science)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/11562948_23"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.5772\/5328"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/9782883\/09468698.pdf?arnumber=9468698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T22:35:54Z","timestamp":1705012554000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9468698\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6]]},"references-count":25,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tac.2021.3093618","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6]]}}}