Программные продукты и системы

Средства моделирования и анализа сложных параллельных и распределенных систем, в том числе систем реального времени, характерными представителями которых являются интеллектуальные системы поддержки принятия решений (ИСППР) реального времени (РВ), вызывают большой интерес. Актуальность этих средств обусловлена в первую очередь высоким риском возникновения ошибок на стадии проектирования подобных систем и чрезвычайно высокой ценой за эти ошибки на стадии эксплуатации. Сети Петри (СП) давно зарекомендовали себя как удобный, наглядный и в то же время математически строгий формализм для моделирования и анализа распределенных систем, однако при моделировании функционирования реальных систем необходимо явно учитывать фактор времени и временные (темпоральные) зависимости, что довольно сложно в теории классических СП. Известные расширения СП позволяют учитывать количественные временные зависимости, в то время как в ИСППР РВ часто необходимо иметь средства представления и оперирования качественными зависимостями. Оптимальным вариантом является инструментальная среда, позволяющая оперировать зависимостями обоих типов.

Подробное описание дается в статье «Реализация интеллектуальных систем реального времени на основе сетей петри с поддержкой темпоральных зависимостей», авторы: Еремеев А.П., Королев Ю.И. (Национальный исследовательский университет «МЭИ», г. Москва).