{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T09:06:26Z","timestamp":1760346386662},"reference-count":5,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2014,11,1]],"date-time":"2014-11-01T00:00:00Z","timestamp":1414800000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e Tecnologia (FCT)"},{"name":"ISR\/LARSyS strategic funding PEst-OE\/EEI\/LA0009\/2013 and FCT"},{"name":"European Union Seventh Framework Programme (FP7\/2007-2013)","award":["600623"],"award-info":[{"award-number":["600623"]}]},{"name":"STRANDS"},{"name":"EPSRC","award":["EP\/K014293\/1"],"award-info":[{"award-number":["EP\/K014293\/1"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/tac.2014.2320801","type":"journal-article","created":{"date-parts":[[2014,4,29]],"date-time":"2014-04-29T18:03:17Z","timestamp":1398794597000},"page":"3069-3074","source":"Crossref","is-referenced-by-count":3,"title":["On the Notion of Uncontrollable Marking in Supervisory Control of Petri Nets"],"prefix":"10.1109","volume":"59","author":[{"given":"Bruno","family":"Lacerda","sequence":"first","affiliation":[]},{"given":"Pedro U.","family":"Lima","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/9.481527"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/978-1-4471-4276-8_12","article-title":"Supervisory control of Petri nets with language specifications","volume":"433","author":"giua","year":"2013","journal-title":"Control Discrete-Event Syst —Lecture Notes Control Inform Sci"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1137\/0213029"},{"key":"ref2","author":"giua","year":"1992","journal-title":"Petri nets as discrete event models for supervisory control"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/6932518\/06807731.pdf?arnumber=6807731","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:40:42Z","timestamp":1642005642000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6807731\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":5,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tac.2014.2320801","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11]]}}}