Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей

• Дата: 2004
• Автор: Грибовская, Н.С.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Інститут програмних систем НАН України 2004
• Теми: Теоретические и методологические основы программирования
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/2338
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей / Н.С. Грибовская// Проблеми програмування 2004. — N 2-3. — С. 16-22. — Бібліогр.: 5 назв. - рос.

Данная работа посвящена теоретико-категорному исследованию трассовой эквивалентности в контексте временных автоматных систем переходов. Для данной модели определено понятие открытого морфизма и доказан критерий открытости. Далее сформулировано определение абстрактной эквивалентности в терминах существования конструкции открытых морфизмов и доказано, что трассовая эквивалентность совпадает с этой абстрактной эквивалентностью. The intention of the paper is to show the applicability of the general categorical framework of open maps to the setting of timed automata models. In particular, we use the framework of open maps to obtain an abstract equivalence notion which is established to coincide with a timed extension of the well-known trace equivalence.