{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T20:05:48Z","timestamp":1771704348899,"version":"3.50.1"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,7,1]],"date-time":"1994-07-01T00:00:00Z","timestamp":773020800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[1994,7]]},"DOI":"10.1007\/bf01438709","type":"journal-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T07:34:14Z","timestamp":1113291254000},"page":"237-268","source":"Crossref","is-referenced-by-count":31,"title":["Supervisory control using variable lookahead policies"],"prefix":"10.1007","volume":"4","author":[{"given":"Sheng-Luen","family":"Chung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\ufffdphane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"12","key":"CR1","doi-asserted-by":"crossref","first-page":"1921","DOI":"10.1109\/9.182478","volume":"37","author":"S. L. Chung","year":"1992","unstructured":"S. L. Chung, S. Lafortune, and F. Lin. Limited lookahead policies in supervisory control of discrete event systems.IEEE Trans. Automatic Control, 37(12):1921?1935, December 1992.","journal-title":"IEEE Trans. Automatic Control"},{"issue":"1","key":"CR2","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF01439177","volume":"3","author":"S. L. Chung","year":"1993","unstructured":"S. L. Chung, S. Lafortune, and F. Lin. Recursive computation of limited lookahead supervisory controls for discrete event systems.Journal of Discrete Event Dynamic Systems: Theory and Applications, 3(1):71?100, March 1993.","journal-title":"Journal of Discrete Event Dynamic Systems: Theory and Applications"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"S. L. Chung, S. Lafortune, and F. Lin. Supervisory control using variable lookahead policies. InProc. 1993 American Control Conf., pp. 1203?1208, San Francisco, CA, June 1993.","DOI":"10.23919\/ACC.1993.4793059"},{"key":"CR4","unstructured":"S. L. Chung, S. Lafortune, and F. Lin. Supervisory control with variable lookahead policies: Illustrative example. In S. Balemi, P. Koz\u00e1k, and R. Smedinga, editors,Discrete Event Systems: Modeling and Control-Proceedings of a Joint Workshop on Discrete Event Systems, pp. 207?214. Birkh\u00e4user Basel Verlag, 1993."},{"key":"CR5","series-title":"International Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"C. A. R. Hoare.Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, Englewood Cliffs, NJ, 1985."},{"issue":"1","key":"CR6","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/5.21068","volume":"77","author":"K. M. Inan","year":"1989","unstructured":"K. M. Inan and P. P. Varaiya. Algebras of discrete event models.Proc. IEEE. 77(1):24?38, January 1989.","journal-title":"Proc. IEEE."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F. Lin","year":"1988","unstructured":"F. Lin and W. M. Wonham. On observability of discrete-event systems.Information Sciences, 44:173?198, 1988.","journal-title":"Information Sciences"},{"issue":"4","key":"CR8","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri nets: Properties, analysis, and applications.Proc. IEEE, 77(4):541?580, April 1989.","journal-title":"Proc. IEEE"},{"key":"CR9","unstructured":"J. L. Peterson,Petri Net Theory and The Modelling of Systems. Prentice-Hall, 1981."},{"issue":"1","key":"CR10","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes.SIAM J. Control and Optimization, 25(1):206?230, January 1987.","journal-title":"SIAM J. Control and Optimization"},{"issue":"1","key":"CR11","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. Ramadge","year":"1989","unstructured":"P. J. Ramadge and W. M. Wonham. The control of discrete event systems.Proc. IEEE 77(1):81?98, January 1989.","journal-title":"Proc. IEEE"},{"issue":"3","key":"CR12","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W. M. Wonham","year":"1987","unstructured":"W. M. Wonham and P. J. Ramadge. On the supremal controllable sublanguage of a given language.SIAM J. Control and Optimization, 25(3):637?659, May 1987.","journal-title":"SIAM J. Control and Optimization"}],"container-title":["Discrete Event Dynamic Systems: Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01438709.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01438709\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01438709","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T14:01:43Z","timestamp":1556805703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01438709"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,7]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,7]]}},"alternative-id":["BF01438709"],"URL":"https:\/\/doi.org\/10.1007\/bf01438709","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,7]]}}}