COAST/CPN: State Space Analysis in Operational Planning

Partners:

CPN Group at DAIMI
Australian Defence Science and Technology Organisation (DSTO)

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.

Australian Defence Science and Technology Organisation (DSTO)

Project Group

Research manager:

Lars M. Kristensen, PhD., DAIMI,
Phone: +45 8942 5686, E-mail: lmkristensen@daimi.au.dk

Other partcipants from CPN group:

Peter Mechlenborg, Student programmer/developer, CPN group, DAIMI

Backround Papers

• L.M. Kristensen, B. Mitchell, L. Zhang, and J. Billington. Modelling and Initial Analysis of Operational Planning Processes using Coloured Petri Nets. In Proceedings of Workshop on Formal Methods Applied to Defence Systems, pp.105-114, Volume 12 of Conferences in Research and Practice in Information Technology, Australian Computer Society.

• L. Zhang, L.M. Kristensen, C. Janczura, G. Gallasch, and J. Billington. A Coloured Petri Net based Tool for Course of Action Development and Analysis. In Proceedings of Workshop on Formal Methods Applied to Defence Systems, pp. 125-134, Volume 12 of Conferences in Research and Practice in Information Technology, Australian Computer Society.

• L. Zhang, L.M. Kristensen, L. Falzon, M. Davies, B. Mitchell, and J. Billington. Model-based Operational Planning using Coloured Petri Nets. In proceedings of 6th International Command and Control Research and Technology Symposium (CCRTS), 2001, Annapolis, 19-21 June, 15 pp., CD-ROM.