A Coloured Petri Net based Tool for Course of Action Development and Analysis

Zhang, L., Kristensen, L.M., Janczura, C., Gallasch, G. and Billington, J.

This paper presents a Course Of Action Scheduling Tool (COAST) to support operations planning in the Australian Defence Force (ADF). COAST is a software tool based on Coloured Petri Nets (CPNs or CP-nets) and Design/CPN. It is developed with an underlying conceptual framework that complements the ADF planning process. At the core of COAST is a CPN model that formally specifies the execution of tasks in a course of action. During planning, the CPN model is instantiated with concrete tasks for execution and analysis. COAST has a client-server architecture. The client provides a graphical user interface for task instantiation and lines of operation analysis. The server uses the instantiated CPN model to conduct state space analysis for generating and analysing lines of operation.

Cite as: Zhang, L., Kristensen, L.M., Janczura, C., Gallasch, G. and Billington, J. (2002). A Coloured Petri Net based Tool for Course of Action Development and Analysis. 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. 125-134.

(from crpit.com) (local if available)