Formal Specification and State Space Analysis of an Operational Planning Process
DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION EDINBURGH (AUSTRALIA) COMMAND AND CONTROL DIV
Pagination or Media Count:
Formal models of business processes support performance and behavioural analysis of the processes for continuous improvement. Formal models are also useful in guiding the development of the software tools to support the processes. This report presents a formal model of a planning process used in an operational headquarters of the Australian Defence Force. The formal process model was developed using Coloured Petri Nets CPN or CP-nets and the supporting DesignCPN computer tool. The constructed CPN model has allowed the planning process to be validated and analysed using simulation and state spaces. State space analysis was conducted using full state spaces and the sweep-line state space reduction method.
- Administration and Management