Development of the software for systems modelling based on temporal Petri nets

В работе рассматривается вопрос разработки программного инструментария, предназначенного для моделирования сложных динамических систем и позволяющего оперировать временными (темпоральными) зависимостями. Моделирование осуществляется на основе формализма раскрашенных сетей Петри реального времени с поддержкой логики Аллена. Описывается прототип инструментария в среде G2, разработка программных средств на языках высокого уровня. Приведен пример использования созданного программного обеспечения в задаче разработки моделей объектов электроэнергетической системы.In the paper the software development of the toolkit for complex dynamic system modelling that allows to operate with temporal dependencies is described. Modelling is based on the formalism of real-time coloured Petri nets supporting Allen's logic. The toolkite prototype designed in G2 IDE and the development of software in high level languages are considered. The example of using the designed software to model objects of electric power system is given. The possibility of using the designed software in intelligent decision support systems is mentioned