{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T21:58:15Z","timestamp":1778795895808,"version":"3.51.4"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,10,13]],"date-time":"2005-10-13T00:00:00Z","timestamp":1129161600000},"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":[[2005,12]]},"DOI":"10.1007\/s10626-005-4058-y","type":"journal-article","created":{"date-parts":[[2005,10,7]],"date-time":"2005-10-07T02:47:50Z","timestamp":1128653270000},"page":"375-395","source":"Crossref","is-referenced-by-count":54,"title":["Multitasking Supervisory Control of Discrete-Event Systems"],"prefix":"10.1007","volume":"15","author":[{"given":"Max H.","family":"de Queiroz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 E. R.","family":"Cury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. M.","family":"Wonham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,10,13]]},"reference":[{"key":"4058_CR1","unstructured":"de Queiroz, M. H. 2004. Controle supervis\u00f3rio modular e multitarefa de sistemas compostos. Doctoral thesis, UFSC, Florian\u00f3polis, Brazil. (In Portuguese)."},{"key":"4058_CR2","unstructured":"de Queiroz, M. H., and Cury, J. E. R. 2000. Modular Supervisory Control of Large Scale DES. In DES: Analysis and Control, Kluwer, pp.103\u2013110."},{"key":"4058_CR3","doi-asserted-by":"crossref","unstructured":"de Queiroz, M. H., Cury, J. E. R. 2005. Modular multitasking supervisory control of composite DES.In Proc. of the 16th IFAC World Congress, Prague, Czech Republic.","DOI":"10.3182\/20050703-6-CZ-1902.00300"},{"key":"4058_CR4","unstructured":"Desroches, A. A. 1990. Modeling and Control of Automated manufacturing Sysems, IEEE Computer Society Press."},{"key":"4058_CR5","doi-asserted-by":"crossref","first-page":"1863","DOI":"10.1016\/S0005-1098(00)00102-3","volume":"36","author":"M. Fabian","year":"2000","unstructured":"Fabian, M., and Kumar, R. 2000. Mutually nonblocking supervisory control of DES, Automatica, 36: 1863\u20131869.","journal-title":"Automatica"},{"key":"4058_CR6","unstructured":"Gohari\u2013M., P. 2002. Fair Supervisory control of DES, Ph.D. Thesis, Dept. of Elec. & Comp. Eng., Univ. of Toronto."},{"key":"4058_CR7","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J. E. Hopcroft","year":"1979","unstructured":"Hopcroft, J. E., and Ullman, J. D. 1979. Introduction to Automata Theory, Languages and Computation. USA: Addison-Wesley."},{"key":"4058_CR8","volume-title":"Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use.-Volume 1: Basic Concepts. Monographs in Theoretical Computer Science","author":"K. Jensen","year":"1992","unstructured":"Jensen, K. 1992. Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use.-Volume 1: Basic Concepts. Monographs in Theoretical Computer Science. Berlin: Springer-Verlag."},{"key":"4058_CR9","doi-asserted-by":"crossref","unstructured":"Kumar, R., Takai, S. Fabian, M., and Ushio, T. 2004. Maximally permissive mutually & globally nonblocking supervisory control of DES, In Proc. of the 7th Workshop on Discrete Event Systems, Reims, France.","DOI":"10.1016\/S1474-6670(17)30724-3"},{"key":"4058_CR10","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T. 1989. Petri nets: properties, analysis and application. Proc. IEEE, 77 pp. 541\u2013580.","journal-title":"Proc. IEEE"},{"key":"4058_CR11","doi-asserted-by":"crossref","first-page":"925","DOI":"10.1109\/9.133186","volume":"36","author":"C. M. Ozveren","year":"1991","unstructured":"Ozveren, C. M., Willsky, A. S. 1991. Output stabilizability of discrete-event dynamic systems. IEEE Trans. Autom. Contr. 36: 925\u2013935.","journal-title":"IEEE Trans. Automat. Contr."},{"key":"4058_CR12","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. Ramadge","year":"1989","unstructured":"Ramadge, P. J., and Wonham, W. M. 1989. The control of DES. Proc. IEEE, Special Issue on DEDSs 77: 81\u201398.","journal-title":"Proc. IEEE, Special Issue on DEDSs"},{"key":"4058_CR13","unstructured":"Thistle, J. G. R., and Malham\u00e9, P. 1997. Multiple Marked Languages and Noninterference in Modular Supervisory Control. In Proc. of the 35th Annual Allerton Conference. pp. 523\u2013532."},{"key":"4058_CR14","unstructured":"Thistle, J. G. R., Malham\u00e9, P. Hoang, H.-H., andLafortune, S. 1997. Supervisory Control of Distributed Systems Part I: Modeling, Specification, and Synthesis. Tech. Rep. EPM\/RT-97\/08, E. P. de Montreal."},{"key":"4058_CR15","unstructured":"Wonham, W. M. 2004. Supervisory control of discrete-event systems. Dept. of Elec. & Comp. Eng., Univ. of Toronto, http:\/\/www.control.utoronto.ca\/DES."},{"key":"4058_CR16","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 J. Control and Optim. 25: 637\u2013659.","journal-title":"SIAM J. Control Optim."}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-005-4058-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-005-4058-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-005-4058-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T05:57:04Z","timestamp":1586498224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-005-4058-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10,13]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["4058"],"URL":"https:\/\/doi.org\/10.1007\/s10626-005-4058-y","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,10,13]]}}}