Operational planning using web-based interfaces to a coloured petri net simulator of influence nets

  • Authors:
  • Bo Lindstrøm;Lee W. Wagenhals

  • Affiliations:
  • Department of Computer Science, University of Aarhus, IT-Parken, Aabogade 34, DK-8200 Aarhus N, Denmark;C3I Center, System Architectures Laboratory, George Mason University, Fairfax, Virginia

  • Venue:
  • CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.