Homology groups of asynchronous systems, Petri nets, and trace languages

zbMath1330.68207MaRDI QIDQ890902

Ahmet A. Khusainov

Publication date: 16 November 2015

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: http://semr.math.nsc.ru/v9/p13-44.pdf

zbMATH Keywords

Petri netsasynchronous transition systemfree partially commutative monoidhomology of small categoriestrace monoidtrace languagessemi-cubical set

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Homology groups of asynchronous systems, Petri nets, and trace languages