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

  • Authors:
  • Lin Zhang;Lars M. Kristensen;Chris Janczura;Guy Gallasch;Jonathan Billington

  • Affiliations:
  • Systems Simulation and Assessment Group, Defence Science and Technology Organisation, Edinburgh, SA 5111, Australia;Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Mawson Lakes, SA 5095, Australia;Systems Simulation and Assessment Group, Defence Science and Technology Organisation, Edinburgh, SA 5111, Australia;Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Mawson Lakes, SA 5095, Australia;Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Mawson Lakes, SA 5095, Australia

  • Venue:
  • CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.