Operational Planning using Web-Based Interfaces to a Coloured Petri Net Simulator of Influence Nets

Lindstrom, B. and Wagenhals, L.W.

We present an environment for web-based simulation of influence nets to be used for operational planning. Previous work in this field has shown how influence nets, which are used for probabilistic modelling, can be extended with time and then translated into a coloured Petri net to do temporal evaluation of plans. Simulating the coloured Petri net model in a web environment makes it easy for a subject matter expert to use the simulator for planning without knowing the underlying coloured Petri net formalism and tools. This paper discusses the use of influence nets for operational planning, a simulator for influence nets implemented using coloured Petri nets, and the architecture of the complete web-site which can be used for operational planning.

Cite as: Lindstrom, B. and Wagenhals, L.W. (2002). Operational Planning using Web-Based Interfaces to a Coloured Petri Net Simulator of Influence Nets. In Proc. Workshop on Formal Methods Applied to Defence Systems 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L. M. and Billington, J., Eds. ACS. 115-124.

(from crpit.com) (local if available)