A graphical query language for simulation databases

In this paper we propose a graphical query language to analyse simulation runs which are stored in databases with a temporal dimension. A simulation run is a sequence of system states produced by discrete simulation. It may become very large, such that manual analysis based on database browsing is no longer feasible. Hence simulation databases require a specific query language to analyse the simulation data. Queries may be related to single states (e.g. Is there a state where condition c1 holds? ) or to state sequences (e.g. Is there a state sequence, where first c1 holds, then c2 and finally c3? ).

An existing Petri net simulation environment has been extended to support the described concepts.