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

• Date: 2004
• Main Author: Грибовская, Н.С.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2004
• Subjects: Теоретические и методологические основы программирования
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/2338
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей / Н.С. Грибовская// Проблеми програмування 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.