{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T02:32:31Z","timestamp":1776911551974,"version":"3.51.2"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,5,26]],"date-time":"2010-05-26T00:00:00Z","timestamp":1274832000000},"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":[[2011,6]]},"DOI":"10.1007\/s10626-010-0089-0","type":"journal-article","created":{"date-parts":[[2010,5,25]],"date-time":"2010-05-25T08:11:46Z","timestamp":1274775106000},"page":"257-303","source":"Crossref","is-referenced-by-count":23,"title":["Conceptual Design of Discrete-Event Systems Using Templates"],"prefix":"10.1007","volume":"21","author":[{"given":"Lenko","family":"Grigorov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian E.","family":"Butler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 E. R.","family":"Cury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,5,26]]},"reference":[{"key":"89_CR1","unstructured":"\u00c5kesson K, Fabian M, Flordal H, Vahidi A (2003) Supremica\u2014a tool for verification and synthesis of discrete event supervisors. In: Proceedings of the 11th Mediterranean Conference on Control and Automation, Rhodos, Greece"},{"issue":"3","key":"89_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. IEEE Trans Control Syst Technol 12(3):387\u2013401","journal-title":"IEEE Trans Control Syst Technol"},{"key":"89_CR3","first-page":"189","volume-title":"Usability evaluation in industry, chapter SUS: a \u2018quick and dirty\u2019 usability scale","author":"J Brooke","year":"1996","unstructured":"Brooke J (1996) Usability evaluation in industry, chapter SUS: a \u2018quick and dirty\u2019 usability scale, pp 189\u2013194. Taylor and Francis, New York"},{"key":"89_CR4","unstructured":"Callahan J, Hopkins D, Weiser M, Shneiderman B (1988) An empirical comparison of pie vs. linear menus. In: Proceedings of the ACM CHI Conference on Human Factors in Computing Systems, pp 95\u2013100"},{"key":"89_CR5","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2007","unstructured":"Cassandras CG, Lafortune S (2007) Introduction to discrete event systems, 2nd edn. Springer, Heidelberg","edition":"2"},{"key":"89_CR6","volume-title":"Statistical power analysis for the behavioral sciences","author":"J Cohen","year":"1988","unstructured":"Cohen J (1988) Statistical power analysis for the behavioral sciences, 2nd edn. Lawrence Erlbaum, New York","edition":"2"},{"key":"89_CR7","unstructured":"CTCT software (2009) Department of Electrical and Computer Engineering, University of Toronto, Canada. http:\/\/www.control.toronto.edu\/DES\/ . Accessed 12 May 2009"},{"key":"89_CR8","unstructured":"de Oliveira C, Cury JER, Kaestner CAA (2004) Discrete event systems with guards. In: Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing, vol. 1, pp 90\u201395. Salvador, Brazil"},{"key":"89_CR9","doi-asserted-by":"crossref","unstructured":"de Queiroz MH, Cury JER (2000) Modular control of composed systems. In; Proceedings of the 2000 American Control Conference, vol. 6, pp 4051\u20134055","DOI":"10.1109\/ACC.2000.876983"},{"key":"89_CR10","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1109\/WODES.2002.1167714","volume-title":"Proceedings of the 6th International Workshop on Discrete Event Systems (WODES\u201902)","author":"MH Queiroz de","year":"2002","unstructured":"de Queiroz MH, Cury JER (2002) Synthesis and implementation of local modular supervisory control for a manufacturing cell. In: Proceedings of the 6th International Workshop on Discrete Event Systems (WODES\u201902), pp 377\u2013382. Zaragoza, Spain"},{"key":"89_CR11","volume-title":"Human-computer interaction","author":"AJ Dix","year":"1998","unstructured":"Dix AJ, Finlay JE Abowd GD, Beale R (1998) Human-computer interaction, 2nd edn. Prentice Hall, Europe","edition":"2"},{"key":"89_CR12","doi-asserted-by":"crossref","unstructured":"Ekberg G, Krogh BH (2006) Programming discrete control systems using state machine templates. In: Proceedings of the 8th International Workshop on Discrete Event Systems, pp 194\u2013200. Ann Arbor, MI, USA","DOI":"10.1109\/WODES.2006.1678430"},{"key":"89_CR13","doi-asserted-by":"crossref","unstructured":"Enright CM, Barbeau M (1993) An evaluation of the TCT tool for the synthesis of controllers of discrete event systems. In: Canadian conference on electrical and computer engineering, vol 1, pp 241\u2013244. Vancouver, BC, Canada","DOI":"10.1109\/CCECE.1993.332300"},{"key":"89_CR14","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/978-1-4615-4493-7_51","volume-title":"Discrete event systems: analysis and control (proceedings of the 5th workshop on discrete event systems)","author":"M Fabian","year":"2000","unstructured":"Fabian M, Hellgren A (2000) Desco\u2014a tool for education and control of discrete event systems. In: Discrete event systems: analysis and control (proceedings of the 5th workshop on discrete event systems), pp\u00a0471\u2013472. Ghent, Belgium"},{"issue":"3","key":"89_CR15","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","journal-title":"SIAM J Control Optim"},{"key":"89_CR16","doi-asserted-by":"crossref","unstructured":"Furnas GW, Bederson BB (1995) Space-scale diagrams: understanding multiscale interfaces. In: Proceedings of human factors in computing systems (CHI 95), pp 234\u2013241. Denver, CO, USA","DOI":"10.1145\/223904.223934"},{"issue":"3","key":"89_CR17","doi-asserted-by":"crossref","first-page":"237","DOI":"10.3102\/00346543042003237","volume":"42","author":"GV Glass","year":"1972","unstructured":"Glass GV, Peckham PD, Sanders JR (1972) Consequences of failure to meet assumptions underlying the fixed effects analyses of variance and covariance. Rev Educ Res 42(3):237\u2013288","journal-title":"Rev Educ Res"},{"key":"89_CR18","doi-asserted-by":"crossref","DOI":"10.4324\/9781410605337","volume-title":"Research methods in applied settings: an integrated approach to design and analysis","author":"JA Gliner","year":"2000","unstructured":"Gliner JA, Morgan GA (2000) Research methods in applied settings: an integrated approach to design and analysis. Lawrence Erlbaum, New York"},{"key":"89_CR19","unstructured":"Grigorov L (2005) Hierarchical control of discrete-event systems. Survey paper, School of Computing, Queen\u2019s University, Canada. http:\/\/www.banica.org\/research\/ . Accessed 16 Apr 2010"},{"key":"89_CR20","unstructured":"Grigorov L (2007) Template design of discrete-event systems. Technical report 2007-538, School of Computing, Queen\u2019s University, Canada"},{"key":"89_CR21","unstructured":"Grigorov L (2009a) Observations on solving discrete-event control problems: patterns and strategies. Technical report 2009-558, School of Computing, Queen\u2019s University, Canada"},{"key":"89_CR22","unstructured":"Grigorov LG (2009b) Conceptual design of discrete-event systems using templates. Ph.D. thesis, School of Computing, Queen\u2019s University, Kingston, Ontario, Canada"},{"key":"89_CR23","doi-asserted-by":"crossref","first-page":"5500","DOI":"10.23919\/ECC.2007.7068837","volume-title":"Proceedings of the European Control Conference 2007","author":"L Grigorov","year":"2007","unstructured":"Grigorov L, Rudie K (2007) Problem solving in control of discrete-event systems. In: Proceedings of the European Control Conference 2007, pp 5500\u20135507. Kos, Greece"},{"key":"89_CR24","doi-asserted-by":"crossref","unstructured":"Grigorov L, Cury JER, Rudie K (2008a) Design of discrete-event systems using templates. In: Proceedings of the American Control Conference 2008, pp 499\u2013504. Seattle, WA, USA","DOI":"10.1109\/ACC.2008.4586540"},{"key":"89_CR25","doi-asserted-by":"crossref","unstructured":"Grigorov L, Cury JER, Rudie K, Klinge S (2008b) Template design and automatic generation of controllers for industrial robots. In: Proceedings of the 2008 ACM Symposium on Applied Computing, pp\u00a01612\u20131613. Fortaleza, Cear\u00e1, Brazil","DOI":"10.1145\/1363686.1364066"},{"key":"89_CR26","volume-title":"Research methods and statistics in psychology","author":"SA Haslam","year":"2003","unstructured":"Haslam SA, McGarty C (2003) Research methods and statistics in psychology. SAGE, Thousand Oaks"},{"issue":"5","key":"89_CR27","doi-asserted-by":"crossref","first-page":"696","DOI":"10.1109\/3477.875446","volume":"30","author":"LE Holloway","year":"2000","unstructured":"Holloway LE, Guan X, Sundaravadivelu R, Ashley Jr, J (2000) Automated synthesis and composition of taskblocks for control of manufacturing systems. IEEE Trans Syst Man Cybern Part B 30(5):696\u2013712","journal-title":"IEEE Trans Syst Man Cybern Part B"},{"key":"89_CR28","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.ijhcs.2005.06.002","volume":"64","author":"K Hornb\u00e6k","year":"2006","unstructured":"Hornb\u00e6k K (2006) Current practice in measuring usability: challenges to usability studies and research. Int J Human\u2013Comput Stud 64:79\u2013102","journal-title":"Int J Human\u2013Comput Stud"},{"key":"89_CR29","unstructured":"Leduc RJ (2002) Hierarchical interface-based supervisory control. Ph.D. thesis, Department of Electrical and Computer Engineering, University of Toronto"},{"key":"89_CR30","first-page":"1","volume":"140","author":"R Likert","year":"1932","unstructured":"Likert R (1932) A technique for the measurement of attitudes. Arch Psychol 140:1\u201355","journal-title":"Arch Psychol"},{"key":"89_CR31","unstructured":"Ma C, Wonham WM (2003) Control of state tree structures. In: Proceedings of the 11th Mediterranean Conference on Control and Automation. Rhodes, Greece, Paper T4-005"},{"key":"89_CR32","first-page":"7","volume-title":"Mental models","author":"DA Norman","year":"1983","unstructured":"Norman DA (1983) Some observations on mental models. In: Mental models, pp 7\u201314. Lawrence Erlbaum, New York"},{"key":"89_CR33","volume-title":"The design of everyday things","author":"DA Norman","year":"1990","unstructured":"Norman DA (1990) The design of everyday things. Currency, New York"},{"key":"89_CR34","unstructured":"Osborne JW, Overbay A (2004) The power of outliers (and why researchers should always check for them). Pract Assess Res Eval 9(6). Retrieved May 5, 2009 from http:\/\/PAREonline.net\/getvn.asp?v=9&n=6"},{"issue":"1","key":"89_CR35","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230","journal-title":"SIAM J Control Optim"},{"key":"89_CR36","volume-title":"The humane interface: new directions for designing interactive systems","author":"J Raskin","year":"2000","unstructured":"Raskin J (2000) The humane interface: new directions for designing interactive systems. Addison-Wesley, Reading"},{"key":"89_CR37","volume-title":"Essential statistics","author":"DG Rees","year":"2001","unstructured":"Rees DG (2001) Essential statistics, 4th\u00a0edn. CRC, Boca Raton","edition":"4"},{"key":"89_CR38","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0933-3657(95)00009-U","volume":"7","author":"E Rogers","year":"1995","unstructured":"Rogers E (1995) VIA-RAD: a blackboard-based system for diagnostic radiology. Artif Intell Med 7:343\u2013360","journal-title":"Artif Intell Med"},{"key":"89_CR39","doi-asserted-by":"crossref","unstructured":"Rudie K (2006) The integrated discrete-event systems tool. In: Proceedings of the 8th International Workshop on Discrete Event Systems, pp 394\u2013395. Ann Arbor, MI, USA","DOI":"10.1109\/WODES.2006.382403"},{"key":"89_CR40","unstructured":"Santos EAP, Cury JER, Negri VJD (2003) Modelagem das especifica\u00e7\u00f5es operacionais de sistemas de manipula\u00e7\u00e3o e montagem automatizados. In: S\u00edmposio Brasileiro de automa\u00e7\u00e3o inteligente, pp 144\u2013149. Bauru, S\u00e3o Paulo, Brazil"},{"key":"89_CR41","unstructured":"Santos EAP, Negri VJD, Cury JER (2001) A computational model for supporting conceptual design of automatic systems. In: Proceedings of 13th International Conference on Engineering design, pp 517\u2013524. Glasgow, UK"},{"key":"89_CR42","doi-asserted-by":"crossref","unstructured":"Shewa D, Ashley J, Holloway L (2006) Spectool 2.4 Beta: a research tool for modular modeling, analysis, and synthesis of discrete event systems. In: Proceedings of the 8th International Workshop on Discrete Event Systems, pp 477\u2013478. Ann Arbor, Michigan, USA","DOI":"10.1109\/WODES.2006.382524"},{"key":"89_CR43","doi-asserted-by":"crossref","unstructured":"Sk\u00f6ldstam M, \u00c5kesson K, Fabian M (2007) Modeling of discrete event systems using finite automata with variables. In: Proceedings of the 46th IEEE Conference on Decision and Control, pp 3387\u20133392. New Orleans, LA, USA","DOI":"10.1109\/CDC.2007.4434894"},{"key":"89_CR44","unstructured":"SUS scores from 129 conditions in 50 studies. Spreadsheet available at http:\/\/measuringuserexperience.com\/ (April 2009)"},{"key":"89_CR45","volume-title":"Measuring the user experience","author":"T Tullis","year":"2008","unstructured":"Tullis T, Albert B (2008) Measuring the user experience. Morgan Kaufmann, Burlington"},{"key":"89_CR46","unstructured":"Tullis TS, Stetson JN (2004) A comparison of questionnaires for assessing website usability. In: Usability Professionals Association Conference. Minneapolis, MN, USA"},{"issue":"3","key":"89_CR47","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1080\/14640749408401131","volume":"47","author":"M Van Selst","year":"1994","unstructured":"Van Selst M, Jolicoeur P (1994) A solution to the effect of sample size on outlier elimination. Q J Exp Psychol Section A 47(3):631\u2013650","journal-title":"Q J Exp Psychol Section A"},{"key":"89_CR48","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1093\/biomet\/29.3-4.350","volume":"29","author":"BL Welch","year":"1938","unstructured":"Welch BL (1938) The significance of the difference between two means when the population variances are unequal. Biometrika 29:350\u2013362","journal-title":"Biometrika"},{"key":"89_CR49","unstructured":"Wonham WM (2003) Supervisory control theory: models and methods. Informal talk at Queen\u2019s University, a version for the 24th International Conference on Application Theory of Petri Nets is available at http:\/\/www.control.toronto.edu\/DES\/publish.html . Accessed 12 Jan 2005"},{"key":"89_CR50","unstructured":"Wonham WM (2008) Supervisory control of discrete-event systems. http:\/\/www.control.toronto.edu\/DES\/ . Accessed 12 May 2009"},{"key":"89_CR51","unstructured":"Wood MM (2005) Application, implementation and integration of discrete-event systems control theory. Master\u2019s thesis, Department of Electrical and Computer Engineering, Queen\u2019s University"},{"key":"89_CR52","doi-asserted-by":"crossref","unstructured":"Yang Y, Gohari P (2005) Embedded supervisory control of discrete-event systems. In: Proceedings of the 2005 IEEE International Conference on Automation Science and Engineering, pp\u00a0410\u2013415. Edmonton, AB, Canada","DOI":"10.1109\/COASE.2005.1506804"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-010-0089-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-010-0089-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-010-0089-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:18:28Z","timestamp":1740107908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-010-0089-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,26]]},"references-count":52,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["89"],"URL":"https:\/\/doi.org\/10.1007\/s10626-010-0089-0","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,26]]}}}