{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T14:08:16Z","timestamp":1777385296082,"version":"3.51.4"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1109\/coase.2016.7743520","type":"proceedings-article","created":{"date-parts":[[2016,11,17]],"date-time":"2016-11-17T21:35:22Z","timestamp":1479418522000},"page":"1055-1060","source":"Crossref","is-referenced-by-count":5,"title":["Planning on Discrete Events Systems: A logical approach"],"prefix":"10.1109","author":[{"given":"Lucas V. R.","family":"Alves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugo J.","family":"Bravo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patricia N.","family":"Pena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo H. C.","family":"Takahashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/TAC.2011.2157391","article-title":"The synthesis of time optimal supervisors by using heaps-of-pieces","volume":"57","author":"su","year":"2012","journal-title":"Automatic Control IEEE Transactions on"},{"key":"ref11","author":"garey","year":"1979","journal-title":"Computers and Intractability"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.08.056"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1057\/jors.2010.186"},{"key":"ref14","author":"ghllab","year":"0","journal-title":"Automated Planning Theory and Practice"},{"key":"ref15","article-title":"Supervisory Control of Discrete-Event Systems","author":"wonham","year":"2014","journal-title":"Systems Control Group Department of Electrical & Computer Engineering University of Toronto"},{"key":"ref16","author":"christofides","year":"1975","journal-title":"Graph Theory An Algorithmic Approach"},{"key":"ref17","volume":"12","author":"gutin","year":"2002","journal-title":"Digraphs Theory Algorithms and Applications"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2007.4341849"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.matcom.2004.07.005"},{"key":"ref3","author":"schrijver","year":"1986","journal-title":"Theory of Linear and Integer Programming"},{"key":"ref6","first-page":"435","article-title":"On the revision of planning tasks","author":"herzig","year":"2014","journal-title":"ECAI 2014-21st European Conference on Artificial Intelligence"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.018"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678411"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4614-2361-4","author":"pinedo","year":"2012","journal-title":"Scheduling Theory Algorithms and Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/FSKD.2008.420"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CASE.2011.6042515"}],"event":{"name":"2016 IEEE International Conference on Automation Science and Engineering (CASE)","location":"Fort Worth, TX, USA","start":{"date-parts":[[2016,8,21]]},"end":{"date-parts":[[2016,8,25]]}},"container-title":["2016 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7738291\/7743369\/07743520.pdf?arnumber=7743520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T18:30:38Z","timestamp":1749753038000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7743520\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/coase.2016.7743520","relation":{},"subject":[],"published":{"date-parts":[[2016,8]]}}}