{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T18:54:21Z","timestamp":1780340061107,"version":"3.54.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1023\/a:1020207328508","type":"journal-article","created":{"date-parts":[[2003,3,15]],"date-time":"2003-03-15T08:37:24Z","timestamp":1047717444000},"page":"183-208","source":"Crossref","is-referenced-by-count":44,"title":["Real-Time Supervisory Control of a Processor for Non-Preemptive Execution of Periodic Tasks"],"prefix":"10.1007","volume":"23","author":[{"given":"Peter C. Y.","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W. M.","family":"Wonham","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"2\/3","key":"5096703_CR1","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01094342","volume":"8","author":"N. C. Audsley","year":"1995","unstructured":"Audsley, N. C., Burns, A., Davis, R. I., Tindell, K. W., and Wellings, A. J. 1995. Fixed priority pre-emptive scheduling: An historical perspective. Real-Time Systems 8(2\/3): 173-198.","journal-title":"Real-Time Systems"},{"key":"5096703_CR2","unstructured":"Bengtsson, J., Larsen, K. G., Larsson, F., Pettersson, P., Wang, Y., and Weise, C. 1998. New Generation of UPPAAL. In Proceedings of International Workshop on Software Tools for Technology Transfer. Aalborg, Denmark, July 12\u201313."},{"issue":"2","key":"5096703_CR3","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1109\/9.272327","volume":"39","author":"B. A. Brandin","year":"1994","unstructured":"Brandin, B. A., and Wonham, W. M. 1994. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control 39(2): 329-342.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"5096703_CR4","doi-asserted-by":"crossref","unstructured":"Burns, A. 1991. Scheduling hard real-time systems: A review. Software Engineering Journal 116-128.","DOI":"10.1049\/sej.1991.0015"},{"key":"5096703_CR5","unstructured":"Chen, P. C. Y., and Wonham, W. M. 1998. A discrete-event control approach to real-time scheduling. In Proceedings of the Fifth International Conference on Control, Automation, Robotics, and Vision. Singapore, December 8\u201311, 1674-1678."},{"key":"5096703_CR6","first-page":"13","volume":"J-3C-01-03","author":"P. C. Y. Chen","year":"1999","unstructured":"Chen, P. C. Y., and Wonham, W. M. 1999. Real-time supervisory control of a processor for non-preemptive execution of periodic tasks. Proceedings of the 14th World Congress of the International Federation of Automatic Control, Beijing, J-3C-01-03: 13-18.","journal-title":"Proceedings of the 14th World Congress of the International Federation of Automatic Control"},{"issue":"2","key":"5096703_CR7","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1080\/00207540010004322","volume":"39","author":"P. C. Y. Chen","year":"2000","unstructured":"Chen, P. C. Y., and Wonham, W. M. 2000. Stable supervisory control of flexible manufacturing systems with fixed supply and demand rates. International Journal of Production Research 39(2): 347-368.","journal-title":"International Journal of Production Research"},{"issue":"4","key":"5096703_CR8","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0020-0190(83)90117-5","volume":"6","author":"G. N. Frederickson","year":"1983","unstructured":"Frederickson, G. N. 1983. Scheduling unit-time tasks with integer release times and deadlines. Information Processing Letters 6(4): 171-173.","journal-title":"Information Processing Letters"},{"issue":"2","key":"5096703_CR9","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1137\/0210018","volume":"10","author":"M. R. Garey","year":"1981","unstructured":"Garey, M. R., Johnson, D. S., Simons, B. B., and Tarjan, R. E. 1981. Scheduling unit-time tasks with arbitrary release times and deadlines. SIAM Journal of Computing 10(2): 256-259.","journal-title":"SIAM Journal of Computing"},{"key":"5096703_CR10","doi-asserted-by":"crossref","unstructured":"Jeffay, K., Stanat, D. F., and Martel, C. U. 1991. On non-preemptive scheduling of periodic and sporadic tasks. In Proceedings of the 1991 IEEE Real-Time Systems Symposium. San Antonio, Texas, December, 129-139.","DOI":"10.1109\/REAL.1991.160366"},{"issue":"1","key":"5096703_CR11","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0020-0190(81)90066-1","volume":"12","author":"E. L. Lawler","year":"1981","unstructured":"Lawler, E. L., and Martel, C. U. 1981. Scheduling periodically occurring tasks on multiple processors. Information Processing Letters 12(1): 9-12.","journal-title":"Information Processing Letters"},{"issue":"1","key":"5096703_CR12","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. L. Liu","year":"1973","unstructured":"Liu, C. L., and Layland, J. W. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM 20(1): 46-61.","journal-title":"Journal of the ACM"},{"key":"5096703_CR13","unstructured":"Mok, A. K. L. 1983. Fundamental Design Problems of Distributed Systems for the Hard Real-Time Environment. Ph.D. Thesis, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, MIT\/LCS\/TR-297."},{"key":"5096703_CR14","doi-asserted-by":"crossref","unstructured":"Mok, A. K., Tsou, D., and de Rooij, R. C. M. 1996. The MSP.RTL real-time scheduler synthesis tool. In Proceedings of the 17th IEEE Real-Time Systems Symposium. Washington DC, 118-128.","DOI":"10.1109\/REAL.1996.563706"},{"issue":"1","key":"5096703_CR15","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. G. Ramadge","year":"1989","unstructured":"Ramadge, P. J. G., and Wonham, W. M. 1989. The control of discrete event systems. Proceedings of the IEEE 77(1): 81-98.","journal-title":"Proceedings of the IEEE"},{"key":"5096703_CR16","unstructured":"Stankovic, J. A., and Ramamritham, K. 1988. Tutorial: Hard Real-Time Systems. IEEE Press."},{"issue":"3","key":"5096703_CR17","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W. M. Wonham","year":"1987","unstructured":"Wonham, W. M., and Ramadge, P. J. 1987. On the supremal controllable sublanguage of a given language. SIAM Journal of Control and Optimization 25(3): 637-659.","journal-title":"SIAM Journal of Control and Optimization"},{"issue":"1","key":"5096703_CR18","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF02551233","volume":"1","author":"W. M. Wonham","year":"1988","unstructured":"Wonham, W. M., and Ramadge, P. J. 1988. Modular supervisory control of discrete event systems. Mathematics of Control, Signal and Systems 1(1): 13-30.","journal-title":"Mathematics of Control, Signal and Systems"},{"key":"5096703_CR19","unstructured":"Wonham, W. M. 1999. Notes on Control of Discrete-Event Systems. Department of Electrical and Computer Engineering, University of Toronto. (http:\/\/www.control.utoronto.ca\/people\/profs\/wonham\/wonham.html.)"},{"key":"5096703_CR20","unstructured":"W\u00fcrtz, J. 1996. Oz Scheduler: A workbench for scheduling problems. In Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence, November 16\u201319."},{"issue":"1","key":"5096703_CR21","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF01245297","volume":"6","author":"X. Yuan","year":"1994","unstructured":"Yuan, X., Saksena, M. C., and Agrawala, A. K. 1994. A decomposition approach to non-preemptive real-time scheduling. Real-Time Systems 6(1): 7-35.","journal-title":"Real-Time Systems"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020207328508.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020207328508\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020207328508.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:31:15Z","timestamp":1754638275000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020207328508"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["5096703"],"URL":"https:\/\/doi.org\/10.1023\/a:1020207328508","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}