Closed loop state space analysis and simulation for Cognitive Systems

The paper presents a novel technique for the integrated application of simulation and state space analysis within a single automated run of a coloured petri net (CPN) model in CPN Tools. Within that approach, the results of each alternating simulation or state space analysis phase are used for the initialization of the following phase, forming a closed loop between state space analysis and simulation. The technique is suitable for the design and analysis of certain properties of cognitive systems (CS) and other technical systems where simulated actions and state space based planning processes have to be executed alternately.