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

• Datum: 2004
• 1. Verfasser: Грибовская, Н.С.
• Format: Artikel
• Sprache: Russisch
• Veröffentlicht: Інститут програмних систем НАН України 2004
• Schlagworte: Теоретические и методологические основы программирования
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/2338
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей / Н.С. Грибовская// Проблеми програмування 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.