In: Conferences in Research and Practice in Information Technology, Vol.12, Workshop on Formal Methods Applied to Defence Systems, pages 105-114. 24-25 June 2002. Australian Computer Society Inc., Adelaide.
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 focuses 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.
Keywords: Command and control; process and workflow modelling; operational planning; case studies; Coloured Petri Nets.