State Space Analysis in Operation Planning

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.

Australian Defence Science and Technology Organisation (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.

Project Group

Research manager:
Lars M. Kristensen, PhD., DAIMI,
Phone: +45 8942 5686, E-mail: lmkristensen@cs.au.dk
Other participants from CPN group:
Peter Mechlenborg, Student programmer/developer, CPN group, DAIMI

Background 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.