Дальневосточный математический журнал

К содержанию выпуска


О группах гомологий асинхронных систем переходов


А. А. Хусаинов, В. В. Ткаченко

2005, выпуск 1-2, С. 23–38


Аннотация
В данной работе изучаются группы гомологий асинхронных систем переходов и сетей Петри. Вводится определение параллельного произведения асинхронных систем переходов. Доказано, что для групп гомологий параллельного произведения имеет место формула Кюннета.

Ключевые слова: асинхронные системы, гомологии категорий

Полный текст статьи (файл PDF)

Библиографический список

[1] G. Winskel, Events in Computation, ed. Ph. D. Thesis, Dept. of Computer Science, University of Edinburgh, 1980, 289 pp.
[2] M. A. Bednarczyk, Categories of Asynchronous Systems, Report 1/88, ed. Ph. D. Thesis, University of Sussex, 1988, 222 pp., http://www.ipipan.gda.pl/~marek.
[3] G. Winskel, M. Nielsen, Categories in Concurrency, Preprint, BRICS-EP-96-WN, Aarhus University, 1996, 58 pp.
[4] А. А. Хусаинов, В. В. Ткаченко, “Группы гомологий асинхронных систем переходов”, Математическое моделирование и смежные вопросы математики, cб. науч. тр., ХГПУ, Хабаровск, 2003, 23–33, http://www.knastu.ru/husainov_site/index.html.
[5] A. Husainov, “On the homology of small categories and asynchronous transition systems”, Homology Homotopy Appl., 6:1 (2004), 439–471, {http://www.rmi.acnet.ge/hha}.
[6] P. Gaucher, “Homotopy invariants of higher dimensional categories and concurrency in computer scienc”, Math. Structures Comput. Sci., 10:4 (2000), 481–524.
[7] P. Gaucher, “About the globular homology of higher dimensional automata”, Cah. Topol. Geom. Differ., 43:2 (2002), 107–156.
[8] E. Goubault, The Geometry of Concurrency, Ph. D. Thesis, Ecole Normale Supe?rieure, 1995, 349 pp., http://www.dmi.ens.fr/~goubault.
[9] П. Габриель, М. Цисман, Категории частных и теория гомотопий, Мир, М., 1971, 296 с.
[10] P. J. Hilton, U. Stammbach, A Course in Homological Algebra, Graduate Texts in Mathematics, 4, Springer-Verlag, New York, Heidelberg, Berlin, 1971, 338 pp.
[11] A. Husainov, “Homological dimension theory of small categories”, J. Math. Sci. (New York), 110:1 (2002), 2273–2321.
[12] F. Morace, Finitely presented categories and homology, Tech. report, Univ. Joseph Fourier, 1995, 27 pp., http://www-fourier.ujf-grenoble.fr/PREP/html/a295/a295.html.
[13] G. Winskel, M. Nielsen, “Models for Concurrency”, Handbook of Logic in Computer Science, v. IV, ed. Abramsky, Gabbay, Maibaum, Oxford University Press, 1995, 1–148.
[14] M. Nielsen, G. Winskel, “Petri Nets and Bisimulations”, Theoretical Computer Science, 153:1-2 (1996), 211–244.
[15] С. Маклейн, Гомология, Мир, М., 1966.

К содержанию выпуска