{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:04:49Z","timestamp":1761487489226},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,11,1]],"date-time":"2005-11-01T00:00:00Z","timestamp":1130803200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Cogn Tech Work"],"published-print":{"date-parts":[[2005,11]]},"DOI":"10.1007\/s10111-005-0010-z","type":"journal-article","created":{"date-parts":[[2005,11,10]],"date-time":"2005-11-10T08:17:44Z","timestamp":1131610664000},"page":"241-261","source":"Crossref","is-referenced-by-count":14,"title":["Integration of task networks and cognitive user models using coloured Petri nets and its application to job design for safety and productivity"],"prefix":"10.1007","volume":"7","author":[{"given":"Tom","family":"Kontogiannis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,11,9]]},"reference":[{"key":"10_CR1","unstructured":"van der Aalst WMP, Hofstede AHM (2002) Workflow patterns: on the expressive power of (Petri nets based) workflow languages. In: Jensen K (eds) Proceedings of the fourth workshop on the practical use of coloured Petri nets and CPN tools, Department of Computer Science, University of Aarhus, Denmark, vol 560, pp1\u201320"},{"key":"10_CR2","unstructured":"Abed M, Tabary D, Kolski C (2003) Using formal specification techniques for modelling tasks and generation of HCI specifications. In: Diaper D, Stanton N (eds) The handbook of task analysis for human computer interaction Chapter 30. Lawrence Erlbaum Associates, Mahwah, pp. 503\u2013529"},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1207\/s15516709cog2601_2","volume":"26","author":"EM Altman","year":"2002","unstructured":"Altman EM, Trafton JG (2002) Memory for goals: an activation-based model. Cogn Sci 26:39\u201383","journal-title":"Cogn Sci"},{"key":"10_CR4","unstructured":"Blom HAP, Daams J, Nijhuis HB (2000) Human cognition modelling in ATM safety assessment. In: Proceedings of the 3rd USA\/Europe AirTraffic Management R & D Seminar, Napoli, 13\u201316 June 2000"},{"key":"10_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-1567-0","volume-title":"Modelling and simulation of human behaviour in system analysis","author":"PC Cacciabue","year":"1998","unstructured":"Cacciabue PC (1998) Modelling and simulation of human behaviour in system analysis. Springer, Berlin Heidelberg New York"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s10111-003-0133-z","volume":"5","author":"PC Cacciabue","year":"2003","unstructured":"Cacciabue PC, Mauri C, Owen D (2003) The development of a model and simulation of an aviation maintenance technician performance. Cogn Technol Work 5:229\u2013247","journal-title":"Cogn Technol Work"},{"key":"10_CR7","volume-title":"Thesychology of human computer interaction","author":"SK Card","year":"1983","unstructured":"Card SK, Moran TP, Newell A (1983) The psychology of human computer interaction. Lawrence Erlbaum Associates, Mahwah"},{"key":"10_CR8","unstructured":"DesignCPN version 4.0, Meta Software Corporation. Cambridge MA. Also available from the Department of Computer Science, University of Aarhus at http:\/\/www.daimi.au.dk\/DesignCPN"},{"key":"10_CR9","volume-title":"Guidelines forreventing human error inrocess safety Center for Chemicalrocess safety","author":"DE Embrey","year":"1994","unstructured":"Embrey DE, Kontogiannis T, Green M (1994) Guidelines for preventing human error in process safety Center for Chemical process safety. American Institute of Chemical Engineers, New York"},{"key":"10_CR10","unstructured":"Freed M (1998) Managing multiple tasks in complex, dynamic environments. In: Proceedings of the 15th national conference on artificial intelligence, AAAI Press\/MIT Press, Madison\/Wiscosin. pp. 921\u2013927"},{"key":"10_CR11","unstructured":"Freed M (2000) Reactive prioritization. In: Proceedings of the 2nd NASA international workshop on planning and scheduling in space, March 2000. San Francisco"},{"key":"10_CR12","unstructured":"Handley HAH, Levis AH (2003) Modelling for future command and control architectures. In: Proceedings of the 8th international command and control research and technology symposium, National Defense University, Washington DC, 17\u201319 June 2003"},{"issue":"2","key":"10_CR13","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1002\/(SICI)1520-6858(1999)2:2<108::AID-SYS5>3.0.CO;2-D","volume":"2","author":"HAH Handley","year":"1999","unstructured":"Handley HAH, Zaidi ZR, Levis A (1999) The use of simulation models in model-driven experiments. Syst Eng 2(2):108\u2013128","journal-title":"Syst Eng"},{"key":"10_CR14","volume-title":"Implementing a model of informationrocessing in a task network simulation environment (DCIEM 97-R-71)","author":"KC Hendy","year":"1997","unstructured":"Hendy KC, Farrell PS (1997) Implementing a model of information processing in a task network simulation environment (DCIEM 97-R-71). Defense and Civil Institute of Environmental Medicine, Ontario, Canada"},{"key":"10_CR15","volume-title":"Human reliability: context and control","author":"E Hollnagel","year":"1993","unstructured":"Hollnagel E (1993). Human reliability: context and control. Academic, London"},{"key":"10_CR16","unstructured":"Jensen K (1997a) Coloured Petri nets: basic concepts, analysis methods and practical use. vol 1: basic concepts. Monographs in theoretical computer science, Springer, Berlin Heidelberg New York"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Jensen K (1997b) Coloured Petri nets: basic concepts, analysis methods and practical use. Vol 2: analysis methods. Monographs in theoretical computer science, Springer, Berlin Heidelberg New York","DOI":"10.1007\/978-3-642-60794-3"},{"issue":"4","key":"10_CR18","first-page":"20","volume":"3","author":"BE John","year":"1996","unstructured":"John BE, Kieras DE (1996) The GOMS family of user interfaces analysis techniques: comparison and constructs. ACM Trans Comput Hum Interact 3(4):20\u2013351","journal-title":"ACM Trans Comput Hum Interact"},{"key":"10_CR19","doi-asserted-by":"crossref","DOI":"10.1201\/b16826","volume-title":"A guide to task analysis","author":"B Kirwan","year":"1992","unstructured":"Kirwan B, Ainsworth LK (1992) A guide to task analysis. Taylor & Francis, London"},{"key":"10_CR20","doi-asserted-by":"crossref","DOI":"10.1201\/b17206","volume-title":"Prevention of accidents through experience feedback","author":"U Kjellen","year":"2000","unstructured":"Kjellen U (2000) Prevention of accidents through experience feedback. Taylor & Francis, London"},{"key":"10_CR21","volume-title":"An engineer\u2019s view of human error","author":"TA Kletz","year":"1991","unstructured":"Kletz TA (1991) An engineer\u2019s view of human error, 2nd edn. Institution of Chemical Engineers, Rugby","edition":"2"},{"key":"10_CR22","doi-asserted-by":"crossref","first-page":"803","DOI":"10.1016\/S0925-7535(02)00035-8","volume":"41","author":"T Kontogiannis","year":"2003","unstructured":"Kontogiannis T (2003) A Petri-net based approach for ergonomic task analysis and modelling with emphasis on adaptation to system changes. Saf Sci 41:803\u2013835","journal-title":"Saf Sci"},{"key":"10_CR23","unstructured":"Kristensen LM, Mitchell B, Zhang L, Billington J (2002) Modelling and initial analysis of operational planning processes using coloured Petri nets. In: Proceedings of workshop on formal methods applied to defence systems, conference in research and practice in information technology, Australian Computer Society, vol 12, pp105\u2013114"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Lacaze X, Palanque P, Bastide R (2002) Performance evaluations as a tool for quantitative assessment of complexity of interactive systems. Lecture Notes in Computer Science, Springer Verlag, No 2545, pp 208\u2013222","DOI":"10.1007\/3-540-36235-5_16"},{"key":"10_CR25","first-page":"1375","volume-title":"Handbook of human factors and ergonomics","author":"KR Laughery","year":"1997","unstructured":"Laughery KR, Corker KM (1997) Computer modelling and simulation of human-system performance. In: Salvendy G (ed) Handbook of human factors and ergonomics, 2nd edn. Wiley, New York, pp 1375\u20131408","edition":"2"},{"key":"10_CR26","unstructured":"Lebiere C, Biefeld F, Archer S, Allender L, Kelley TD (2002) IMPRINT\/ACT-R: integration of a task network architecture with a cognitive architecture and its application to human error modelling. In: Chini MJ (ed) Military, government and aerospace simulation, Society for Modelling and Simulation International, San Diego 34(3):13\u201319"},{"key":"10_CR27","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"13","author":"N Levenson","year":"1987","unstructured":"Levenson N, Stolzy (1987) Safety analysis using Petri nets. IEEE Trans Software Eng 13:386\u2013397","journal-title":"IEEE Trans Software Eng"},{"key":"10_CR28","unstructured":"Lindsay P, Connelly S (2002) Modelling erroneous operator behaviours for an air traffic control tasks. In: Grundy J, Calder P (eds) Third Australian user interface conference, Australian Computer Society Inc, vol 7, pp 43\u201354"},{"key":"10_CR29","unstructured":"Lockett JF (1997) Task network modelling of human workload coping strategies. In: Smith MJ, Salvendy G, Koubek RJ (eds) Design of computing systems: social and ergonomic considerations, proceedings of the seventh international conference on human\u2013computer interaction, (HCI International \u201897). Elsevier, San Francisco vol 2, pp 71\u201374"},{"key":"10_CR30","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/S1389-0417(99)00012-1","volume":"1","author":"MC Lovett","year":"2000","unstructured":"Lovett MC, Daily LZ, Reder LM (2000) A source activation theory of working memory: cross task prediction of performance in ACT-R. J Cogn Syst Res 1:99\u2013118","journal-title":"J Cogn Syst Res"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Moher T, Dirda V (1995) Revising mental models to accommodate expectation failures in human\u2013computer dialogues.In: 2nd DSVIS workshop on design, specification and verification of interactive systems, Speringer, Berlin Heidelberg New York","DOI":"10.1007\/978-3-7091-9437-9_6"},{"issue":"9","key":"10_CR32","first-page":"1","volume":"28","author":"G Mori","year":"2002","unstructured":"Mori G, Paterno F, Santoro C (2002) CTTE: support for developing and analyzing task models for interactive system design. IEEE Trans Software Eng 28(9):1\u201317","journal-title":"IEEE Trans Software Eng"},{"key":"10_CR33","first-page":"81","volume-title":"\u00a0","author":"RA North","year":"1989","unstructured":"North RA, Riley VA (1989) A predictive model of operator workload. In: McMillan GR, et al (eds) Applications of human performance models to system design. Plenum Press, New York pp 81\u201390"},{"issue":"2","key":"10_CR34","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0953-5438(97)00013-1","volume":"9","author":"P Palanque","year":"1997","unstructured":"Palanque P, Bastide R (1997) Synergistic modelling of tasks, users and systems using formal specification techniques. Interact Comput 9(2):129\u2013153","journal-title":"Interact Comput"},{"key":"10_CR35","unstructured":"Petrucci L, Kristensen LM, Billington J, Qureshi Z (2002) Towards formal specification and analysis of avionics mission systems. In: Proceedings of conference in research and practice in information technology, Workshop on formal methods applied to defense systems, Australian Computer Society, vol 2, pp 95\u2013104"},{"key":"10_CR36","volume-title":"Modelling human and organizational behaviour: application to military simulations","author":"RW Pew","year":"1998","unstructured":"Pew RW, Mavor AS (1998) Modelling human and organizational behaviour: application to military simulations. National Academy Press, Washington, DC"},{"key":"10_CR37","doi-asserted-by":"crossref","first-page":"1369","DOI":"10.1080\/00140139308968006","volume":"36","author":"M Rauterberg","year":"1993","unstructured":"Rauterberg M (1993) AMME: an automatic mental model evaluation to analyze user behaviour traced in a finite, discrete state space. Ergonomics 36:1369\u20131380","journal-title":"Ergonomics"},{"key":"10_CR38","doi-asserted-by":"crossref","DOI":"10.4324\/9780203305614","volume-title":"Hierarchical task analysis","author":"A Shepherd","year":"2001","unstructured":"Shepherd A (2001) Hierarchical task analysis. Taylor & Francis, London"},{"issue":"1","key":"10_CR39","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/hfm.10003","volume":"12","author":"C Schlick","year":"2002","unstructured":"Schlick C, Reuth R, Luczak H (2002) A comparative simulation study of work processes in autonomous production cells. Hum Factors Ergon Manuf 12(1):31\u201354","journal-title":"Hum Factors Ergon Manuf"},{"key":"10_CR40","volume-title":"A guide to methodology in ergonomics","author":"N Stanton","year":"1999","unstructured":"Stanton N, Young MS (1999) A guide to methodology in ergonomics. Taylor & Francis, London"},{"key":"10_CR41","unstructured":"Stutz P, Onken R (2001) Adaptive pilot modelling for cockpit crew assistance: concept, realization and results. In: Proceedings of the 8th conference on cognitive science approaches to process control. The cognitive work process: automation and interaction. Munich, 24\u201326 September 2001"},{"key":"10_CR42","unstructured":"Tarby JC, Barthet MF (1996) The DIANE+ method. In: Vanderdonckt J (ed) Proceedings of the 2nd international workshop on computer aided design of user interfaces (CADUI\u2019 96). Presses Universitaires de Namur, Narmur, vol 15, pp 95\u2013120"},{"key":"10_CR43","first-page":"263","volume-title":"Human computer interaction: theory and practice (Part I)","author":"H Uhr","year":"2003","unstructured":"Uhr H (2003) TOMBOLA: simulation and user-specific presentation of executable task models. In: Jacko J, Staphanidis C (eds) Human computer interaction: theory and practice (Part I). Lawrence Erlbaum Associates, Mahwah, pp 263\u2013267"},{"key":"10_CR44","doi-asserted-by":"crossref","unstructured":"Wickens CD, Harwood K, Segal L, Tkalcevic I, Sherman B (1988) TASKILLAN: A simulation to predict the validity of multiple resource models of aviation workload. In: Proceedings of the 32nd annual meeting of the human factors society. Human Factors Society, Santa Monica, pp 168\u2013172","DOI":"10.1177\/154193128803200237"},{"issue":"3","key":"10_CR45","first-page":"417","volume":"5","author":"H Yoshikawa","year":"1997","unstructured":"Yoshikawa H, Nakagawa T, Nakatani Y, Furutra T, Hasegawa A (1997) Development of an analysis support system for man-machine system design information. Reliability Eng Syst Saf 5(3):417\u2013425","journal-title":"Reliability Eng Syst Saf"},{"key":"10_CR46","volume-title":"Application of human modelling technology to the design, operation and evaluation of complex systems Technical Memo No 980727.9705","author":"W Zachary","year":"1998","unstructured":"Zachary W, Campbell G, Laughery R, Glenn F (1998) Application of human modelling technology to the design, operation and evaluation of complex systems Technical Memo No 980727.9705. CHI Systems, Inc., Lower Gwynedd, PA"},{"key":"10_CR47","volume-title":"Modelling, simulation and control of flexible manufacturing systems: a Petri net approach","author":"M Zhou","year":"1998","unstructured":"Zhou M, Venkatesh K (1998) Modelling, simulation and control of flexible manufacturing systems: a Petri net approach. World Scientific, New Jersey"},{"key":"10_CR48","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/S0003-6870(03)00053-X","volume":"34","author":"G Zulch","year":"2003","unstructured":"Zulch G, Kruger J, Schindele H, Rottinger S (2003) Simulation-aided planning of quality-oriented personnel structures in production systems. Appl Ergon 34:293\u2013301","journal-title":"Appl Ergon"}],"container-title":["Cognition, Technology &amp; Work"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10111-005-0010-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10111-005-0010-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10111-005-0010-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T20:25:57Z","timestamp":1559161557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10111-005-0010-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11]]},"references-count":48,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,11]]}},"alternative-id":["10"],"URL":"https:\/\/doi.org\/10.1007\/s10111-005-0010-z","relation":{},"ISSN":["1435-5558","1435-5566"],"issn-type":[{"value":"1435-5558","type":"print"},{"value":"1435-5566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,11]]}}}