Skip to main content
SpringerLink
Log in

Integration of task networks and cognitive user models using coloured Petri nets and its application to job design for safety and productivity

  • Original Article
  • Published:
Cognition, Technology & Work Aims and scope Submit manuscript

Abstract

Changes of task demands due to unforeseen events and technological changes can cause variations in job design such as modifications to job procedures and task allocation. Failure to adapt to job design variations can lead to human errors that may have severe consequences for system safety. Existing techniques for task modelling cannot adequately model how task networks can be adapted to changing work conditions and task demands. Therefore, there is a need to integrate task networks with cognitive user models that indicate how operators process information, make decisions, or cope with suspended tasks and errors. The work described here presents a tool for integrating task and cognitive models using coloured Petri nets. The cognitive user model comprises two modules of attention management (selective and divided attention), a module of memory management of suspended tasks and a module of work organization. Performance Shaping Factors (e.g., workload, fatigue and mental-tracking load) are calculated at any point in time to take into account the context of work (e.g., competing activities, errors and suspended tasks). Different types of human error can be modelled for rule-based behaviours required in proceduralized work environments. Simulation analysis and formal analysis techniques can be applied to process control tasks to verify job procedures, workload management strategies and task allocation schemes in response to technological changes and unfamiliar events.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14

Similar content being viewed by others

References

  • 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–20

  • 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–529

  • Altman EM, Trafton JG (2002) Memory for goals: an activation-based model. Cogn Sci 26:39–83

    Article  Google Scholar 

  • 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–16 June 2000

  • Cacciabue PC (1998) Modelling and simulation of human behaviour in system analysis. Springer, Berlin Heidelberg New York

    Google Scholar 

  • 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–247

    Article  Google Scholar 

  • Card SK, Moran TP, Newell A (1983) The psychology of human computer interaction. Lawrence Erlbaum Associates, Mahwah

    Google Scholar 

  • 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

  • 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

    Google Scholar 

  • 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–927

  • Freed M (2000) Reactive prioritization. In: Proceedings of the 2nd NASA international workshop on planning and scheduling in space, March 2000. San Francisco

  • 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–19 June 2003

  • Handley HAH, Zaidi ZR, Levis A (1999) The use of simulation models in model-driven experiments. Syst Eng 2(2):108–128

    Article  Google Scholar 

  • 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

    Google Scholar 

  • Hollnagel E (1993). Human reliability: context and control. Academic, London

    Google Scholar 

  • 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

  • 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

  • John BE, Kieras DE (1996) The GOMS family of user interfaces analysis techniques: comparison and constructs. ACM Trans Comput Hum Interact 3(4):20–351

    Google Scholar 

  • Kirwan B, Ainsworth LK (1992) A guide to task analysis. Taylor & Francis, London

    Google Scholar 

  • Kjellen U (2000) Prevention of accidents through experience feedback. Taylor & Francis, London

    Google Scholar 

  • Kletz TA (1991) An engineer’s view of human error, 2nd edn. Institution of Chemical Engineers, Rugby

    Google Scholar 

  • 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–835

    Article  Google Scholar 

  • 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–114

  • 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–222

  • 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–1408

    Google Scholar 

  • 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–19

  • Levenson N, Stolzy (1987) Safety analysis using Petri nets. IEEE Trans Software Eng 13:386–397

    Article  Google Scholar 

  • 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–54

  • 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–computer interaction, (HCI International ‘97). Elsevier, San Francisco vol 2, pp 71–74

  • 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–118

    Article  Google Scholar 

  • Moher T, Dirda V (1995) Revising mental models to accommodate expectation failures in human–computer dialogues.In: 2nd DSVIS workshop on design, specification and verification of interactive systems, Speringer, Berlin Heidelberg New York

  • 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–17

    Article  Google Scholar 

  • 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–90

    Google Scholar 

  • Palanque P, Bastide R (1997) Synergistic modelling of tasks, users and systems using formal specification techniques. Interact Comput 9(2):129–153

    Article  Google Scholar 

  • 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–104

  • Pew RW, Mavor AS (1998) Modelling human and organizational behaviour: application to military simulations. National Academy Press, Washington, DC

    Google Scholar 

  • Rauterberg M (1993) AMME: an automatic mental model evaluation to analyze user behaviour traced in a finite, discrete state space. Ergonomics 36:1369–1380

    Article  PubMed  Google Scholar 

  • Shepherd A (2001) Hierarchical task analysis. Taylor & Francis, London

    Google Scholar 

  • 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–54

    Article  Google Scholar 

  • Stanton N, Young MS (1999) A guide to methodology in ergonomics. Taylor & Francis, London

    Google Scholar 

  • 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–26 September 2001

  • 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’ 96). Presses Universitaires de Namur, Narmur, vol 15, pp 95–120

  • 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–267

    Google Scholar 

  • 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–172

  • 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–425

    Google Scholar 

  • 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

    Google Scholar 

  • Zhou M, Venkatesh K (1998) Modelling, simulation and control of flexible manufacturing systems: a Petri net approach. World Scientific, New Jersey

    Google Scholar 

  • Zulch G, Kruger J, Schindele H, Rottinger S (2003) Simulation-aided planning of quality-oriented personnel structures in production systems. Appl Ergon 34:293–301

    Article  PubMed  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Production Engineering and Management, Technical University of Crete, University Campus, Chania, Crete, 73100, Greece

    Tom Kontogiannis

Authors
  1. Tom Kontogiannis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tom Kontogiannis.

Appendix

Appendix

Selected declaration of colours or data types used in the CPN models

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kontogiannis, T. Integration of task networks and cognitive user models using coloured Petri nets and its application to job design for safety and productivity. Cogn Tech Work 7, 241–261 (2005). https://doi.org/10.1007/s10111-005-0010-z

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10111-005-0010-z

Keywords

Search

Navigation