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.

Полный текст: PDF файл (747 kB)
Список литературы: PDF файл   HTML файл
Тип публикации: Статья
УДК: 512.66:513.83, 519.7
MSC: 18G35, 55U10, 68Q85
Поступила 30 августа 2011 г., опубликована 24 января 2012 г.

Образец цитирования: А. А. Хусаинов, “Группы гомологий асинхронных систем, сетей Петри и языков трасс”, Сиб. электрон. матем. изв., 9 (2012), 13–44

Цитирование в формате AMSBIB
\RBibitem{Khu12}
\by А.~А.~Хусаинов
\paper Группы гомологий асинхронных систем, сетей Петри и языков трасс
\jour Сиб. электрон. матем. изв.
\yr 2012
\vol 9
\pages 13--44
\mathnet{http://mi.mathnet.ru/semr341}


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

    ОТПРАВИТЬ: 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

    Эта публикация цитируется в следующих статьяx:
    1. A. A. Khusainov, “The cubical homology of trace monoids”, Дальневост. матем. журн., 12:1 (2012), 108–122  mathnet
    2. Husainov A.A., “Cubical Sets and Trace Monoid Actions”, Sci. World J., 2013, 285071  crossref  isi  scopus
  • Просмотров:
    Эта страница:335
    Полный текст:72
    Литература:42
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019