These papers show how CPNs and CPN Tools have been used in the development of the Course of Action Scheduling Tool (COAST). The aim of COAST is to support human planners in the specification and scheduling of tasks in a Course of Action. The CPN model has been extracted in executable form from CPN Tools and embedded directly into COAST, thereby automatically bridging the gap between the formal specification and its implementation, but the use of formal methods is transparent to the users.
The following papers present the formal specification and analysis of the business process for planning at the Deployable Joint Force Headquarters (DJFHQ) of the Australian Defence Force (ADF). The DJFHQ is a Joint Headquarters (HQ) for the Army, Navy and Air Force of the ADF. It can be deployed for offshore military operations and has been deployed for operations such as East Timor in 1999.
Military logistics concerns the activities required to support operational forces. It encompasses the storage and distribution of materiel, management of personnel and the provision of facilities and services. A desire to improve the efficiency and effectiveness of the Australian Defence Force logistics process has led to the investigation of rigorous military logistics models suitable for analysis and experimentation. The following papers present a CPN model of a military logistics system and discuss some experiences in developing an initial model. Interesting modelling problems encountered, and their solutions and impact on CPN support tools, are discussed.
The following paper presents a project in which a gateway between a Tactical Packet Radio Network and Broadband ISDN was being designed. CP-nets and the CPN tools were used to investigate the gateway architecture and behaviour prior to implementation. Two different CPN models were developed. The first specifies the service to be provided by the gateway, while the second is a refined specification, involving more architectural aspects of the gateway.
The project is also described in Chapter 8 of:
The following papers describe how CP-nets can be used to improve military planning. This project was sponsored by the US Air Force. The papers describe how an influence net (also called a Bayesian inference net) can be automatically translated into a CPN model. In this way it becomes possible to augment a static equilibrium model with information about the sequence and timing of the different controllable actions. It is believed that the technology will allow a closer coupling between static models designed to assess situations and compare potential courses of actions, and dynamic models that can be used to provide detailed planning and evaluation of those courses of actions.
The following paper describes the modelling and analysis of a distributed air-to-air missile simulator being developed by the research arm of the Australian Armed Forces. The simulator was developed as a testing platform for missile guidance and control algorithms. The paper presents two different CPN models. An abstract model specifies the service provided by the simulator to the graphical user interface and the user. A more detailed model describes the functionality of the simulator. The two CPN models are small enough to allow them to be explained in considerable detail, allowing the reader to investigate many different aspects of CPN modelling. Both models were validated by means of simulation. During the investigation of the detailed model, five different charts were used to produce an on-the- y display of the simulation results. This provides a straightforward and natural way to follow the simulation. Finally, for a given set of input parameters, state spaces were used to verify that the communication was correct and deadlock free.
The following paper describes how CP-nets and the CPN tools were used to model and investigate a conceptual naval vessel. The CPN model represents the behaviour and real-time aspects of critical system components. It is used to assess the performance of different decision policies for weapon assignment. The authors discuss the feasibility of CP-nets for providing a proper framework and a suitable simulation environment to model command and control systems.
The project is also described in Chapter 17 of:
