A coloured petri net based tool for course of action development and analysis

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.

[1]  H. Thuve.  TOPFAS ( Tool for Operational Planning , Force Activation and Simulation ) , 2022 .

[2]  Bo Lindstrom,et al.  EQUIVALENT COLOURED PETRI NET MODELS OF A CLASS OF TIMED INFLUENCE NETS WITH LOGIC , 2001 .

[3]  Alexander H. Levis,et al.  Creating executable models of influence nets with colored Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[4]  Lucia Falzon,et al.  Hierarchical Probabilistic Models for Operational-Level Course of Action Development , .

[5]  Lin Zhang,et al.  Modelling and initial analysis of operational planning processes using coloured petri nets , 2002, FME 2002.

[6]  Lars Michael Kristensen,et al.  Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN , 2001 .

[7]  Jeffrey D. Ullman.  Elements of ML programming , 1994 .

[8]  Kjeld Høyer Mortensen.  Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System , 2000, ICATPN.

[9]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[10]  Lucia Falzon,et al.  Model-based Operational Planning Using Coloured Petri Nets , 2001 .

[11]  Kurt Jensen.  Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1 , 1996 .

[12]  Alexander H. Levis,et al.  Course of Action Development and Evaluation , 2000 .

[13]  Bo Lindstrom.  Web-based interfaces for simulation of coloured Petri net models , 2001, International Journal on Software Tools for Technology Transfer.

[14]  Ian Fuss,et al.  On Relationships between Key Concepts of Operational Level Planning , 2000 .