{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,8]],"date-time":"2024-02-08T18:41:17Z","timestamp":1707417677683},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2014,5,18]],"date-time":"2014-05-18T00:00:00Z","timestamp":1400371200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10626-014-0185-7","type":"journal-article","created":{"date-parts":[[2014,5,17]],"date-time":"2014-05-17T05:39:35Z","timestamp":1400305175000},"page":"177-201","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder"],"prefix":"10.1007","volume":"25","author":[{"given":"Robi","family":"Malik","sequence":"first","affiliation":[]},{"given":"Ryan","family":"Leduc","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,5,18]]},"reference":[{"key":"185_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5kesson K, Fabian M, Flordal H, Malik R (2006) Supremica\u2014an integrated environment for verification, synthesis and simulation of discrete event systems. In: Proceedings 8th International Workshop on Discrete Event Systems, WODES \u201906. Ann Arbor, MI, pp 384\u2013385","DOI":"10.1109\/WODES.2006.382401"},{"key":"185_CR2","doi-asserted-by":"crossref","unstructured":"de Alfaro L, Henzinger TA (2001) Interface automata. In: Proceedings of the 9th ACM SIGSOFT international symposium on Foundations of Software Engineering 2001. Vienna, pp 109\u2013120","DOI":"10.1145\/503225.503226"},{"issue":"9","key":"185_CR3","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1109\/9.880613","volume":"45","author":"G Barrett","year":"2000","unstructured":"Barrett G, Lafortune S (2000) Decentralized supervisory control with communicating controllers. IEEE Trans Autom Control 45(9):1620\u20131638","journal-title":"IEEE Trans Autom Control"},{"key":"185_CR4","doi-asserted-by":"crossref","unstructured":"Brandin B, Charbonnier F (1994) The supervisory control of the automated manufacturing system of the AIP. In: Proceedings Rensselaer\u2019s 4th international conference computer integrated manufacturing and automation technology. Troy, pp 319\u2013324","DOI":"10.1109\/CIMAT.1994.389054"},{"issue":"3","key":"185_CR5","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. IEEE Trans Control Sys Tech 12(3):387\u2013401 doi: 10.1109\/TCST.2004.824795","journal-title":"IEEE Trans Control Sys Tech"},{"key":"185_CR6","unstructured":"Bruegge B, Dutoit AH (2004) Object-Oriented Software Engineering Using UML, Patterns, and Java, 2nd edn. Pearson Prentice Hall"},{"key":"185_CR7","unstructured":"Dai P (2006) Synthesis method for hierarchical interface-based supervisory control. Master\u2019s thesis, Department of Computing and Software, McMaster University, Hamilton. http:\/\/www.cas.mcmaster.ca\/%7Eleduc"},{"issue":"1\u20132","key":"185_CR8","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 Comput Sci 34(1\u20132):83\u2013133. doi: 10.1016\/0304-3975(84)90113-0","journal-title":"Theor Comput Sci"},{"key":"185_CR9","volume-title":"On object oriented nondeterministic supervisory control","author":"M Fabian","year":"1995","unstructured":"Fabian M (1995) On object oriented nondeterministic supervisory control. Ph.D. thesis, Chalmers University of Technology. G\u00f6teborg. https:\/\/publications.lib.chalmers.se\/cpl\/record\/index.xsql?pubid=1126"},{"key":"185_CR10","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, pp 3\u20138","DOI":"10.1109\/WODES.2006.1678399"},{"issue":"1","key":"185_CR11","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s10626-008-0054-3","volume":"20","author":"L Feng","year":"2010","unstructured":"Feng L, Wonham WM (2010) On the computation of natural observers in discrete-event systems. Discrete Event Dyn Syst 20(1):63\u2013102","journal-title":"Discret Event Dyn Syst"},{"issue":"3","key":"185_CR12","doi-asserted-by":"crossref","first-page":"1914","DOI":"10.1137\/070695526","volume":"48","author":"H Flordal","year":"2009","unstructured":"Flordal H, Malik R (2009) Compositional verification in supervisory control. SIAM J Control Optim 48(3):1914\u20131938. doi: 10.1137\/070695526","journal-title":"SIAM J Control Optim"},{"issue":"3","key":"185_CR13","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231\u2013274","journal-title":"Sci Comput Program"},{"issue":"7","key":"185_CR14","doi-asserted-by":"crossref","first-page":"1152","DOI":"10.1016\/j.automatica.2010.04.002","volume":"46","author":"RC Hill","year":"2010","unstructured":"Hill RC, Cury JER, de QueirozMH, Tilbury DM, Lafortune S (2010) Multi-level hierarchical interface-based supervisory control. Autom 46(7):1152\u20131164. doi: 10.1016\/j.automatica.2010.04.002","journal-title":"Autom"},{"key":"185_CR15","doi-asserted-by":"crossref","unstructured":"Hoare CAR (1985) Communicating Sequential Processes. Prentice-Hall","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"185_CR16","unstructured":"Leduc R DESpot \u2014unlock the DES potential. http:\/\/www.cas.mcmaster.ca\/%7Eleduc\/DESpot.html"},{"key":"185_CR17","unstructured":"Leduc RJ (2002) Hierarchical interface-based supervisory control. Ph.D. thesis, Department of Electrical Engineering, University of Toronto. Canada. http:\/\/www.cas.mcmaster.ca\/leduc"},{"issue":"5","key":"185_CR18","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1080\/00207170802291411","volume":"82","author":"RJ Leduc","year":"2009","unstructured":"Leduc RJ (2009) Hierarchical interface-based supervisory control with data events. Int J Control 82(5):783\u2013800. doi: 10.1080\/00207170802291411","journal-title":"Int J Control"},{"issue":"9","key":"185_CR19","doi-asserted-by":"crossref","first-page":"1322","DOI":"10.1109\/TAC.2005.854586","volume":"50","author":"RJ Leduc","year":"2005a","unstructured":"Leduc RJ, Brandin BA, Lawford M, Wonham WM (2005a) Hierarchical interface-based supervisory control\u2014part I: Serial case. IEEE Trans Autom Control 50(9):1322\u20131335","journal-title":"IEEE Trans Autom Control"},{"issue":"9","key":"185_CR20","doi-asserted-by":"crossref","first-page":"1336","DOI":"10.1109\/TAC.2005.854612","volume":"50","author":"RJ Leduc","year":"2005b","unstructured":"Leduc RJ, Lawford M, Wonham WM (2005b) Hierarchical interface-based supervisory control\u2014part II: Parallel case. IEEE Trans Autom Control 50(9):1336\u20131348","journal-title":"IEEE Trans Autom Control"},{"issue":"7","key":"185_CR21","doi-asserted-by":"crossref","first-page":"1548","DOI":"10.1109\/TAC.2009.2022101","volume":"54","author":"RJ Leduc","year":"2009","unstructured":"Leduc RJ, Dai P, Song R (2009) Synthesis method for hierarchical interface-based supervisory control. IEEE Trans Autom Control 54(7):1548\u20131560","journal-title":"IEEE Trans Autom Control"},{"issue":"12","key":"185_CR22","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"},{"key":"185_CR23","unstructured":"Ma C, Wonham WM (2005) Nonblocking supervisory Control of State Tree Structures, LNCIS, vol. 317. Springer"},{"key":"185_CR24","unstructured":"Malik R (2010) The language of certain conflicts of a nondeterministic process. Working Paper 05\/2010, Department of Computer Science, University of Waikato. Hamilton"},{"key":"185_CR25","unstructured":"Malik R, Flordal H, Pena PN (2007) Conflicts and projections In: Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems, DCDS \u201907. Paris, pp 63\u201368"},{"key":"185_CR26","doi-asserted-by":"crossref","unstructured":"Malik R., Leduc R. (2012) Hierarchical interface-based supervisory control using the conflict preorder. In: Proceedings of the 11th International workshop on discrete event systems, WODES \u201912. Guadalajara, pp 163\u2013168","DOI":"10.3182\/20121003-3-MX-4033.00028"},{"issue":"8","key":"185_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TAC.2013.2248255","volume":"58","author":"R Malik","year":"2013","unstructured":"Malik R, Leduc R (2013) Compositional nonblocking verification using generalised nonblocking abstractions. IEEE Trans Autom Control 58(8):1\u201313. doi: 10.1109\/TAC.2013.2248255","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"185_CR28","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. doi: 10.1142\/S012905410600411X","journal-title":"Int J Found Comput Sci"},{"key":"185_CR29","unstructured":"Mitchell R, McKim J (2001) Design by contract, by example. Addison-Wesley"},{"key":"185_CR30","doi-asserted-by":"crossref","unstructured":"Moor T, Baier C, Wittmann T (2013) Consistent abstractions for the purpose of supervisory control. In: Proceedings of the 52nd IEEE conference decision and control, CDC 2013. Firenze, pp 7291\u20137296","DOI":"10.1109\/CDC.2013.6761046"},{"issue":"12","key":"185_CR31","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas DL (1972) On the criteria to be used in decomposing systems into modules. Commun ACM 15(12):1053\u20131058. doi: 10.1145\/361598.361623","journal-title":"Commun ACM"},{"key":"185_CR32","doi-asserted-by":"crossref","unstructured":"de Queiroz MH, Cury JER (2000) Modular supervisory control of large scale discrete event systems. In: Proceedings of the 5th international workshop on discrete event systems, WODES\u201900. Ghent, pp 103\u2013110","DOI":"10.1007\/978-1-4615-4493-7_10"},{"issue":"1","key":"185_CR33","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJG Ramadge","year":"1989","unstructured":"Ramadge PJG, Wonham WM (1989) The control of discrete event systems. Proceedings of the IEEE 77(1):81\u201398","journal-title":"Proceedings IEEE"},{"issue":"11","key":"185_CR34","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K Rudie","year":"1992","unstructured":"Rudie K, Wonham W (1992) Think globally, act locally: decentralized supervisory control. IEEE Trans Autom Control 37(11):1692\u20131708","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"185_CR35","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1109\/TAC.2010.2067250","volume":"56","author":"K Schmidt","year":"2011","unstructured":"Schmidt K, Breindl C (2011) Maximally permissive hierarchical control of decentralized discrete event systems. IEEE Trans Autom Control 56(4):723\u2013737","journal-title":"IEEE Trans Autom Control"},{"key":"185_CR36","volume-title":"Symbolic synthesis and verification of hierarchical interface-based supervisory control. Master\u2019s thesis, Department of Computing and Software","author":"R Song","year":"2006","unstructured":"Song R (2006) Symbolic synthesis and verification of hierarchical interface-based supervisory control. Master\u2019s thesis, Department of Computing and Software. McMaster University. Hamilton. http:\/\/www.cas.mcmaster.ca\/%7Eleduc"},{"key":"185_CR37","doi-asserted-by":"crossref","unstructured":"Teixeira M, Cury JER, de Queiroz MH (2011) Local modular supervisory control of DES with distinguishers. In: Proceedings of the 16th IEEE international conference on emerging technologies and factory automation, ETFA\u201911. Toulouse, pp 1\u20138","DOI":"10.1109\/ETFA.2011.6059038"},{"key":"185_CR38","unstructured":"Wang B (1995) Top-down design for RW supervisory control theory. Master\u2019s thesis, Department of Electrical Engineering, University of Toronto. Canada"},{"key":"185_CR39","doi-asserted-by":"crossref","unstructured":"Ware S, Malik R (2011) A state-based characterisation of the conflict preorder. In: Proceedings of the 10th international workshop on the foundations of coordination languages and software architectures, FOCLASA 2011. Aachen, pp 34\u201348. doi: 10.4204\/EPTCS.58.3","DOI":"10.4204\/EPTCS.58.3"},{"issue":"4","key":"185_CR40","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/s10626-012-0133-3","volume":"22","author":"S Ware","year":"2012","unstructured":"Ware S, Malik R (2012) Conflict-preserving abstraction of discrete event systems using annotated automata. Discret Event Dyn Syst 22(4):451\u2013477. doi: 10.1007\/s10626-012-0133-3","journal-title":"Discret Event Dyn Syst"},{"issue":"3","key":"185_CR41","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF01797154","volume":"6","author":"KC Wong","year":"1996","unstructured":"Wong KC, Wonham WM (1996) Hierarchical control of discrete-event systems. Discret Event Dyn Syst 6(3):241\u2013273","journal-title":"Discret Event Dyn Syst"},{"issue":"3","key":"185_CR42","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. Discret Event Dyn Syst 8(3):247\u2013297","journal-title":"Discret Event Dyn Syst"},{"issue":"1","key":"185_CR43","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1023\/B:DISC.0000005010.55515.27","volume":"14","author":"KC Wong","year":"2004","unstructured":"Wong KC, Wonham WM (2004) On the computation of observers in discrete-event systems. Discret Event Dyn Syst 14(1):55\u2013107","journal-title":"Discret Event Dyn Syst"},{"key":"185_CR44","unstructured":"Wonham WM (2009). Supervisory control of discrete-event systems. Systems Control Group, Department of Electrical Engineering, University of Toronto. Canada. at http:\/\/www.control.utoronto.edu\/DES\/"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0185-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-014-0185-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0185-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,10]],"date-time":"2019-08-10T15:20:16Z","timestamp":1565450416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-014-0185-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,18]]},"references-count":44,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["185"],"URL":"https:\/\/doi.org\/10.1007\/s10626-014-0185-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5,18]]}}}