Сибирские электронные математические известия
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Сиб. электрон. матем. изв.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Сиб. электрон. матем. изв., 2014, том 11, страницы 863–877 (Mi semr529)  

Геометрия и топология

Homology and bisimulation of asynchronous transition systems and Petri nets

A. A. Husainov

Komsomolsk-on-Amur State Technical University, pr. Lenina, 27, 681013, Komsomolsk-on-Amur, Russia

Аннотация: Homology groups of labelled asynchronous transition systems and Petri nets are introduced. Examples of computing the homology groups are given. It is proved that if labelled asynchronous transition systems are bisimulation equivalent, then they have isomorphic homology groups. A method of constructing a Petri net with given homology groups is presented.

Ключевые слова: bisimulation, homology groups, simplicial complex, trace monoid, partial action, asynchronous system, Petri net.

Полный текст: PDF файл (561 kB)
Список литературы: PDF файл   HTML файл
Тип публикации: Статья
УДК: 515.14,519.713
MSC: 55U10,68Q85
Поступила 1 февраля 2014 г., опубликована 27 ноября 2014 г.
Язык публикации: английский

Образец цитирования: A. A. Husainov, “Homology and bisimulation of asynchronous transition systems and Petri nets”, Сиб. электрон. матем. изв., 11 (2014), 863–877

Цитирование в формате AMSBIB
\RBibitem{Khu14}
\by A.~A.~Husainov
\paper Homology and bisimulation of asynchronous transition systems and Petri nets
\jour Сиб. электрон. матем. изв.
\yr 2014
\vol 11
\pages 863--877
\mathnet{http://mi.mathnet.ru/semr529}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/semr529
  • http://mi.mathnet.ru/rus/semr/v11/p863

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Просмотров:
    Эта страница:247
    Полный текст:53
    Литература:24
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021