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

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

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



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






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


Сибирские электронные математические известия, 2012, том 9, страницы 13–44 (Mi semr341)  

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Дискретная математика и математическая кибернетика

Группы гомологий асинхронных систем, сетей Петри и языков трасс

А. А. Хусаинов

Комсомольский-на-Амуре государственный технический университет, пр. Ленина 27, 681013, Комсомольск-на-Амуре, Россия
Список литературы:
Аннотация: The paper is devoted to the homology groups of mathematical models for concurrent systems. It is proved that the homology groups of a set with a trace monoid action is isomorphic to the homology groups of a corresponding semi-cubical set. Homology groups of Petri nets and Mazurkiewicz trace languages are introduced. It is shown that in dimensions $n\geqslant2$, the homology groups of Petri nets and Mazurkiewicz languages can be arbitrary, up to direct summands which are equal to the homology groups of generalized tori. Examples of the computing the homology groups of state spaces and Petri nets are considered. The integral homology groups of some partially ordered sets of traces are investigated.
Ключевые слова: semi-cubical set, homology of small categories, free partially commutative monoid, trace monoid, asynchronous transition system, Petri nets, trace languages.
Поступила 30 августа 2011 г., опубликована 24 января 2012 г.
Тип публикации: Статья
УДК: 512.66:513.83, 519.7
MSC: 18G35, 55U10, 68Q85
Образец цитирования: А. А. Хусаинов, “Группы гомологий асинхронных систем, сетей Петри и языков трасс”, Сиб. электрон. матем. изв., 9 (2012), 13–44
Цитирование в формате AMSBIB
\RBibitem{Khu12}
\by А.~А.~Хусаинов
\paper Группы гомологий асинхронных систем, сетей Петри и языков трасс
\jour Сиб. электрон. матем. изв.
\yr 2012
\vol 9
\pages 13--44
\mathnet{http://mi.mathnet.ru/semr341}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr341
  • https://www.mathnet.ru/rus/semr/v9/p13
  • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:479
    PDF полного текста:101
    Список литературы:73
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024