{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T06:21:22Z","timestamp":1772605282296,"version":"3.50.1"},"reference-count":28,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Integrated Manufacturing"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1080\/09511920110078097","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T12:37:56Z","timestamp":1027687076000},"page":"319-334","source":"Crossref","is-referenced-by-count":16,"title":["Automata-based supervisory control logic design for a multi-robot assembly cell"],"prefix":"10.1080","volume":"15","author":[{"given":"Jin-Kyu","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tae-Eog","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1109\/9.231459"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178969"},{"key":"CIT0003","first-page":"1223","volume":"79","author":"CHO K. H.","year":"1996","journal-title":"IEICE Transactions on Information and Systems"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"CIT0005","volume-title":"Automata, Language and Machines","author":"EILKNBERG S.","year":"1974"},{"key":"CIT0006","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"GAREY M. R.","year":"1979"},{"key":"CIT0007","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1109\/ROBOT.1996.503829","volume":"1","author":"HARTONAS-GARMHAUSEN V.","year":"1996","journal-title":"Proceedings-IEEE International Conference on Robotics and Automation"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1109\/37.56284"},{"key":"CIT0009","volume-title":"Communicating Sequential Processes","author":"HOARE C. A. R.","year":"1985"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1109\/21.478445"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1109\/37.482149"},{"key":"CIT0013","volume-title":"PLC implementation of a DES supervisor for a manufacturing testbed: An implementation perspective","author":"LEDUC R. J.","year":"1996"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018921310489"},{"key":"CIT0015","first-page":"157","volume":"77","author":"LEE S.","year":"1996","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"CIT0016","unstructured":"LEE, T. E., LEE, J. K. and LEE, J. H. Supervisory controller design of robot assembly cells by model checking techniques. Proceedings of the 20th International Conference on Computer & Industrial Engineering. pp.129\u2013132."},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1115\/1.2799129"},{"key":"CIT0018","volume-title":"Communicating and Concurrency","author":"MILNER R.","year":"1989"},{"key":"CIT0019","doi-asserted-by":"crossref","unstructured":"MOODY, J. O., ANTSAKIJS, P. J. and LEMMON, M. D. Automated design of a petri net feedback controller for a robotic assembly cell. Proceedings of the 1995 INRIA\/IEEE Symposium on Emerging Technologies and Factory Automation. pp.117\u2013128. Part II","DOI":"10.1109\/ETFA.1995.496651"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"CIT0022","unstructured":"REMBOLD, U., ed. 1990.Robot Technology and Applications, 207\u2013276. New York: Marcel Dekker."},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-3615(01)00078-1"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1080\/09511929208944527"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1016\/0278-6125(94)90036-1"},{"key":"CIT0026","volume-title":"Notes on control of discrete-event systems","author":"WONHAM W. M.","year":"1997"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"}],"container-title":["International Journal of Computer Integrated Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/09511920110078097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,29]],"date-time":"2017-11-29T23:35:56Z","timestamp":1511998556000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/09511920110078097"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["10.1080\/09511920110078097"],"URL":"https:\/\/doi.org\/10.1080\/09511920110078097","relation":{},"ISSN":["0951-192X","1362-3052"],"issn-type":[{"value":"0951-192X","type":"print"},{"value":"1362-3052","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}