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

zbMATH Open1330.68207MaRDI QIDQ890902FDOQ890902

Ahmet A. Khusainov

Publication date: 16 November 2015

Published in: Sibirskie Elektronnye 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)

Cited In (1)

• On the homology of small categories and asynchronous transition systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q890902)