Formal Specification and State Space Analysis of an Operational Planning Process

Abstract

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 Design/CPN 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 2005
Accession Number
ADA440928

Entities

People

  • Brice Mitchell
  • Lars M. Kristensen
  • Lin Zhang

Organizations

  • Defence Science and Technology Group

Tags

Communities of Interest

  • C4I
  • Ground and Sea Platforms
  • Space

DTIC Thesaurus Topics

  • Command And Control
  • Computer Science
  • Computers
  • Doctrine
  • Engineering
  • Gantt Charts
  • Information Systems
  • Language
  • Military Operations
  • Military Organizations
  • Natural Languages
  • Space Exploration
  • Specifications
  • Standards
  • Systems Engineering
  • Training
  • Warfare

Fields of Study

  • Engineering

Readers

  • Mathematical Modeling and Probability Theory.
  • Organizational Process Management (OPM).
  • Software Engineering.

Technology Areas

  • Space