Сибирские электронные математические известия
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
PDF полного текста (561 kB)
Список литературы:
PDF
HTML
Аннотация: 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.
Поступила 1 февраля 2014 г., опубликована 27 ноября 2014 г.
Тип публикации: Статья
УДК: 515.14,519.713
MSC: 55U10,68Q85
Язык публикации: английский
Образец цитирования: 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}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr529
  • https://www.mathnet.ru/rus/semr/v11/p863
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:327
    PDF полного текста:84
    Список литературы:41
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024