StateOfDPN Type
The state of a DPN obtained in a simulation run is a tuple of the form (step,nodesToFire,bufEnv,memEnv) where step is the number of the step executed, nodesToFire is the set of nodes that were fired, bufEnv is the content of the buffers, and memEnv is the state of the global memory that holds the values of the arrays.