{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T19:10:02Z","timestamp":1749755402830,"version":"3.41.0"},"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":4,"title":["Planning on Discrete Events Systems: A logical approach"],"prefix":"10.1109","author":[{"given":"Lucas V. R.","family":"Alves","sequence":"first","affiliation":[]},{"given":"Hugo J.","family":"Bravo","sequence":"additional","affiliation":[]},{"given":"Patricia N.","family":"Pena","sequence":"additional","affiliation":[]},{"given":"Ricardo H. C.","family":"Takahashi","sequence":"additional","affiliation":[]}],"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"},{"journal-title":"Computers and Intractability","year":"1979","author":"garey","key":"ref11"},{"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"},{"journal-title":"Automated Planning Theory and Practice","year":"0","author":"ghllab","key":"ref14"},{"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"},{"journal-title":"Graph Theory An Algorithmic Approach","year":"1975","author":"christofides","key":"ref16"},{"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"},{"journal-title":"Theory of Linear and Integer Programming","year":"1986","author":"schrijver","key":"ref3"},{"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)","start":{"date-parts":[[2016,8,21]]},"location":"Fort Worth, TX, USA","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]]}}}