Modelling and initial analysis of operational planning processes using coloured petri nets

  • Authors:
  • Lars M. Kristensen;Brice Mitchell;Lin Zhang;Jonathan Billington

  • Affiliations:
  • Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Mawson Lakes, SA 5095, Australia;Information Technology Division, Defence Science and Technology Organisation, Edinburgh, SA 5111, Australia;Information Technology Division, Defence Science and Technology Organisation, Edinburgh, SA 5111, Australia;Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Mawson Lakes, SA 5095, Australia

  • Venue:
  • CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a project where Hierarchical Coloured Petri Nets have been used to formally specify and analyse an operational planning process in a deployable Headquarters of the Australian Defence Force. A CPN model has been constructed for capturing the planning process, qualitative metrics have been defined for analysis of the planning process, and the CPN model has been analysed using state space analysis methods. The paper focusses on a concrete representative planning process as observed in a training exercise. The modelling approach, defined metrics, and state space analysis techniques are applicable also in other application domains for process modelling.