{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T16:45:55Z","timestamp":1758127555490,"version":"3.37.3"},"reference-count":30,"publisher":"Informa UK Limited","issue":"2","funder":[{"DOI":"10.13039\/501100001459","name":"Ministry of Education - Singapore","doi-asserted-by":"publisher","award":["Tier 1 Academic Research Grant M4011221.040 RG84\/1"],"award-info":[{"award-number":["Tier 1 Academic Research Grant M4011221.040 RG84\/1"]}],"id":[{"id":"10.13039\/501100001459","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Control and Decision"],"published-print":{"date-parts":[[2015,4,3]]},"DOI":"10.1080\/23307706.2014.1003617","type":"journal-article","created":{"date-parts":[[2015,2,11]],"date-time":"2015-02-11T04:55:05Z","timestamp":1423630505000},"page":"99-123","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":3,"title":["Supervisory control of concurrent discrete-event systems"],"prefix":"10.1080","volume":"2","author":[{"given":"R.","family":"Su","sequence":"first","affiliation":[]}],"member":"301","published-online":{"date-parts":[[2015,2,11]]},"reference":[{"volume-title":"Finite transition systems: Semantics of communicating systems","year":"1994","author":"Arnold A.","key":"CIT0001"},{"doi-asserted-by":"publisher","key":"CIT0002","DOI":"10.1109\/.2001.980328"},{"doi-asserted-by":"publisher","key":"CIT0003","DOI":"10.1016\/S0019-9958(84)80025-X"},{"volume-title":"The constructive semantics of pure esterel","year":"1999","author":"Berry G.","key":"CIT0004"},{"doi-asserted-by":"publisher","key":"CIT0005","DOI":"10.1007\/978-0-387-68612-7"},{"doi-asserted-by":"publisher","key":"CIT0006","DOI":"10.1109\/43.766725"},{"doi-asserted-by":"publisher","key":"CIT0007","DOI":"10.1109\/ICSMC.1992.271666"},{"doi-asserted-by":"publisher","key":"CIT0008","DOI":"10.1007\/978-1-4757-2231-4"},{"doi-asserted-by":"publisher","key":"CIT0009","DOI":"10.1109\/5.97300"},{"doi-asserted-by":"publisher","key":"CIT0010","DOI":"10.1016\/0167-6423(87)90035-9"},{"volume-title":"Communicating sequential processes","year":"1985","author":"Hoare C. A. R.","key":"CIT0011"},{"doi-asserted-by":"publisher","key":"CIT0012","DOI":"10.1109\/CDC.1999.831250"},{"volume-title":"Supervisory control of concurrent systems: A Petri net structural approach","year":"2006","author":"Iordache M. V.","key":"CIT0013"},{"doi-asserted-by":"publisher","key":"CIT0014","DOI":"10.1109\/5.97301"},{"doi-asserted-by":"publisher","key":"CIT0015","DOI":"10.1016\/0020-0255(88)90048-5"},{"doi-asserted-by":"publisher","key":"CIT0016","DOI":"10.1016\/0020-0255(88)90001-1"},{"doi-asserted-by":"publisher","key":"CIT0017","DOI":"10.1007\/3-540-10235-3"},{"doi-asserted-by":"publisher","key":"CIT0018","DOI":"10.1007\/978-1-4615-5711-1"},{"doi-asserted-by":"publisher","key":"CIT0019","DOI":"10.1109\/5.24143"},{"volume-title":"Petri net theory and the modeling of systems","year":"1981","author":"Peterson J. L.","key":"CIT0020"},{"doi-asserted-by":"publisher","key":"CIT0021","DOI":"10.1137\/0325013"},{"doi-asserted-by":"publisher","key":"CIT0022","DOI":"10.1109\/TAC.2006.875027"},{"doi-asserted-by":"publisher","key":"CIT0023","DOI":"10.1109\/9.400469"},{"doi-asserted-by":"publisher","key":"CIT0024","DOI":"10.1109\/TAC.2010.2046931"},{"doi-asserted-by":"publisher","key":"CIT0025","DOI":"10.1109\/TAC.2010.2046931"},{"key":"CIT0026","first-page":"850","volume-title":"IEICE Transactions on Fundamentals","volume":"87","author":"Takai S.","year":"2004"},{"doi-asserted-by":"publisher","key":"CIT0027","DOI":"10.1007\/s10626-005-5237-6"},{"doi-asserted-by":"publisher","key":"CIT0028","DOI":"10.1007\/BF02551817"},{"doi-asserted-by":"publisher","key":"CIT0029","DOI":"10.1007\/978-1-4471-5102-9_54-1"},{"doi-asserted-by":"publisher","key":"CIT0030","DOI":"10.1137\/0325036"}],"container-title":["Journal of Control and Decision"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,14]],"date-time":"2016-12-14T09:48:37Z","timestamp":1481708917000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/full\/10.1080\/23307706.2014.1003617"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,11]]},"references-count":30,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2015,3,23]]},"published-print":{"date-parts":[[2015,4,3]]}},"alternative-id":["10.1080\/23307706.2014.1003617"],"URL":"https:\/\/doi.org\/10.1080\/23307706.2014.1003617","relation":{},"ISSN":["2330-7706","2330-7714"],"issn-type":[{"type":"print","value":"2330-7706"},{"type":"electronic","value":"2330-7714"}],"subject":[],"published":{"date-parts":[[2015,2,11]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tjcd20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tjcd20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"}]}}