Partners:
CPN Group at DAIMI
Australian Defence Science and Technology Organisation (DSTO)
Duration of project: September 2002 - June 2003
This project is concerned with the development of CPN based tool support in operational planning environments. The project focuses on the use of CPNs to formally model business processes for operational planning, and the use of CPNs for developing operational plans.
The analysis of business processes and synthesis of operational plans are based on the state space method. The state space of a business process represents all the possible ways in which the process can be executed. State spaces are being used as a basis for formally reasoning about properties of the planning process and for re-engineering purposes. The state space of an operational plan represents the possible ways in which the operational plan can be executed, subject to resource, timing, and synchronisation constraints. The project contributes to the server part of the Course of Action Scheduling Tool (COAST) currently being developed by DSTO.
The Defence Science and Technology Organisation (DSTO) is part of Australia's Department of Defence. DSTO's role is to ensure the expert, impartial and innovative application of science and technology to the defence of Australia.