СРАВНЕНИЕ ЯЗЫКОВЫХ И БИСИМУЛЯЦИОННЫХ ЭКВИВАЛЕНТНОСТЕЙ НЕПРЕРЫВНО-ВРЕМЕННЫХ СЕТЕЙ ПЕТРИ СО СЛАБОЙ ВРЕМЕННОЙ СТРАТЕГИЕЙ

EDX: BQQUXA
Непрерывно-временные сети Петри (НВСП) — расширение сетей Петри, где каждый переход имеет локальные часы и временной интервал. Данная модель позволяет учитывать как функциональные (качественные), так и реально-временные (количественные) характеристики моделируемой системы. В работе рассматриваются НВСП со слабой временной стратегией (ход модельного времени не форсирует срабатывания сетевых переходов) и с промежуточной пространственной стратегией (при смене состояний сети срабатывание перехода порождает "промежуточную" разметку). В терминах данной модели определяются и исследуются языковые и бисимуляционные эквивалентности. При языковом подходе поведение системы полностью определяется множеством вариантов ее функционирования (процессов). При бисимуляционном подходе учитываются точки выбора альтернативных действий моделируемой системы. Эквивалентности рассматриваются в семантиках интерливинга (процесс — последовательность действий), шага (процесс — последовательность множеств параллельных действий), частичного порядка (процесс — частично-упорядоченное множество действий) и в процессно-сетевой семантике (процесс — ациклическая бесконфликтная сеть). Анализируются взаимосвязи между данными эквивалентностями, приводится их иерархия.