Analysis and verification of process models in complex dynamic systems

The issues of modeling processes in modern complex dynamical systems are considered. The need for researches of temporal dependencies between objects of such systems at the modeling stage is justified. As a tool for modeling, the authors propose a modification of the temporal colored Petri nets, with the support of Allen's interval logic. The proposed formalism allows to correctly simulating the processes in complex dynamic systems, and produce verification of these models. It is focused on using in real time intelligent decision support systems. This work is supported by RFBR.