{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T12:52:57Z","timestamp":1782823977634,"version":"3.54.5"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,8,17]],"date-time":"2007-08-17T00:00:00Z","timestamp":1187308800000},"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":[[2007,11,5]]},"DOI":"10.1007\/s10626-007-0018-z","type":"journal-article","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T15:41:18Z","timestamp":1187278878000},"page":"475-504","source":"Crossref","is-referenced-by-count":68,"title":["Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence"],"prefix":"10.1007","volume":"17","author":[{"given":"Hugo","family":"Flordal","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robi","family":"Malik","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Fabian","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Knut","family":"\u00c5kesson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,8,17]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5kesson K, Flordal H, Fabian M (2002) Exploiting modularity for synthesis and verification of supervisors. In: Proceedings of the 15th IFAC world congress, Barcelona, Spain","DOI":"10.3182\/20020721-6-ES-1901.00517"},{"issue":"3","key":"18_CR2","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1109\/TCST.2004.824795","volume":"12","author":"BA Brandin","year":"2004","unstructured":"Brandin BA, Malik R, Malik P (2004) Incremental verification and synthesis of discrete-event systems guided by counter examples. Trans Control Syst Technol 12(3):387\u2013401","journal-title":"Trans Control Syst Technol"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer","DOI":"10.1007\/978-1-4757-4070-7"},{"issue":"1\u20132","key":"18_CR4","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R Nicola De","year":"1984","unstructured":"De Nicola R, Hennessy MCB (1984) Testing equivalences for processes. Theor Comp Sci 34(1\u20132): 83\u2013133","journal-title":"Theor Comp Sci"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"de Queiroz MH, Cury JER (2000) Modular supervisory control of large scale discrete event systems. In: Boel R, Stremersch G (eds) Discrete event systems, analysis and control. Kluwer, pp 103\u2013110","DOI":"10.1007\/978-1-4615-4493-7_10"},{"issue":"4","key":"18_CR15","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/s10626-005-4058-y","volume":"15","author":"MH Queiroz de","year":"2005","unstructured":"de Queiroz MH, Cury JER, Wonham WM (2005) Multitasking supervisory control of discrete-event systems. Discrete Event Dyn Syst 15(4):375\u2013395","journal-title":"Discrete Event Dyn Syst"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Dershowitz N, Jouannaud J-P (1990) Rewrite systems. In: van Leeuwen J (ed) Handbook of theoretical computer science, vol\u00a0B. Elsevier, pp\u00a0243\u2013320","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"18_CR6","unstructured":"Fabian M (1995) On object oriented nondeterministic supervisory control. PhD thesis, Control Engineering Laboratory, Chalmers University of Technology, G\u00f6teborg, Sweden"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Feng L, Wonham WM (2006) Computationally efficient supervisor design: Abstraction and modularity. In: Proceedings of the 8th international workshop on discrete event systems, WODES \u201906, Ann Arbor, MI, USA, pp 3\u20138","DOI":"10.1109\/WODES.2006.1678399"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Flordal H, Malik R (2006) Supervision equivalence. In: Proceedings of the 8th international workshop on discrete event systems, WODES \u201906, Ann Arbor, MI, USA, pp\u00a0155\u2013160","DOI":"10.1109\/WODES.2006.1678424"},{"key":"18_CR9","unstructured":"Hill RC, Tilbury DM (2006) Modular supervisory control of discrete-event systems with abstraction and incremental hierarchical construction. In: Proceedings of the 8th international workshop on discrete event systems, WODES \u201906. Ann Arbor, MI, USA, pp\u00a0399\u2013406"},{"key":"18_CR10","unstructured":"Hoare CAR (1985) Communicating sequential processes. Series in Computer Science, Prentice-Hall"},{"issue":"12","key":"18_CR11","doi-asserted-by":"crossref","first-page":"1330","DOI":"10.1109\/9.61009","volume":"35","author":"F Lin","year":"1990","unstructured":"Lin F, Wonham WM (1990) Decentralized control and coordination of discrete-event systems with partial observation. IEEE Trans. Autom Control 35(12):1330\u20131337","journal-title":"IEEE Trans. Autom Control"},{"issue":"4","key":"18_CR12","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1142\/S012905410600411X","volume":"17","author":"R Malik","year":"2006","unstructured":"Malik R, Streader D, Reeves S (2006) Conflicts and fair testing. Int J Found Comput Sci 17(4): 797\u2013813","journal-title":"Int J Found Comput Sci"},{"key":"18_CR13","unstructured":"Milner R (1989) Communication and concurrency. Series in Computer Science, Prentice-Hall"},{"issue":"1","key":"18_CR16","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81\u201398","journal-title":"Proc IEEE"},{"key":"18_CR17","unstructured":"Song R, Leduc RJ (2006) Symbolic synthesis and verification of hierarchical interface-based supervisory control. In: Proceedings of the 8th international workshop on discrete event systems, WODES \u201906 Ann Arbor, MI, USA, pp\u00a0419\u2013426"},{"issue":"1","key":"18_CR18","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1023\/B:DISC.0000005009.40749.b6","volume":"14","author":"R Su","year":"2004","unstructured":"Su R, Wonham WM (2004) Supervisor reduction for discrete-event systems. Discrete Event Dyn Syst 14(1):31\u201353","journal-title":"Discrete Event Dyn Syst"},{"issue":"3","key":"18_CR19","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1023\/A:1008210519960","volume":"8","author":"KC Wong","year":"1998","unstructured":"Wong KC, Wonham WM (1998) Modular control and coordination of discrete-event systems. Discrete Event Dyn Syst 8(3):247\u2013297","journal-title":"Discrete Event Dyn Syst"},{"key":"18_CR20","unstructured":"Wonham WM (2006) Supervisory control of discrete event systems, Technical report. Department of Electrical and Computer Engineering, University of Toronto, Toronto, Canada"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-007-0018-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-007-0018-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-007-0018-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:58:51Z","timestamp":1559246331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-007-0018-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8,17]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,11,5]]}},"alternative-id":["18"],"URL":"https:\/\/doi.org\/10.1007\/s10626-007-0018-z","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,8,17]]}}}