Qualitative and quantitative analysis of business workflows using generalized stochastic Petri nets
CON '94 Proceedings of the ninth Austrian-informatics conference on Workflow management : challenges, paradigms and products: challenges, paradigms and products
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Verification of workflow task structures: A petri-net-based approach
Information Systems
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
A coloured petri net based tool for course of action development and analysis
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
EACE '05 Proceedings of the 2005 annual conference on European association of cognitive ergonomics
Hi-index | 0.00 |
This paper presents a project where Hierarchical Coloured Petri Nets have been used to formally specify and analyse an operational planning process in a deployable Headquarters of the Australian Defence Force. A CPN model has been constructed for capturing the planning process, qualitative metrics have been defined for analysis of the planning process, and the CPN model has been analysed using state space analysis methods. The paper focusses on a concrete representative planning process as observed in a training exercise. The modelling approach, defined metrics, and state space analysis techniques are applicable also in other application domains for process modelling.