Modelling and Initial Analysis of Operational Planning Processes using Coloured Petri Nets

Kristensen, L.M., Mitchell, B., Zhang, L. and Billington, J.

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.

Cite as: Kristensen, L.M., Mitchell, B., Zhang, L. and Billington, J. (2002). Modelling and Initial Analysis of Operational Planning Processes using Coloured Petri Nets. In Proc. Workshop on Formal Methods Applied to Defence Systems 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L. M. and Billington, J., Eds. ACS. 105-114.

(from crpit.com) (local if available)