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
Elements of ML programming (ML97 ed.)
Elements of ML programming (ML97 ed.)
Introduction to Bayesian Networks
Introduction to Bayesian Networks
Modelling and initial analysis of operational planning processes using coloured petri nets
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Hi-index | 0.00 |
This paper presents a Course Of Action Scheduling Tool (COAST) to support operations planning in the Australian Defence Force (ADF). COAST is a software tool based on Coloured Petri Nets (CPNs or CP-nets) and Design/CPN. It is developed with an underlying conceptual framework that complements the ADF planning process. At the core of COAST is a CPN model that formally specifies the execution of tasks in a course of action. During planning, the CPN model is instantiated with concrete tasks for execution and analysis. COAST has a client-server architecture. The client provides a graphical user interface for task instantiation and lines of operation analysis. The server uses the instantiated CPN model to conduct state space analysis for generating and analysing lines of operation.