Modelling and initial analysis of operational planning processes using coloured petri nets
Lars Michael Kristensen, Brice Mitchell, Lin Zhang, Jonathan Billington · 2002
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.