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

zbMATH Open1330.68207MaRDI QIDQ890902FDOQ890902

Authors: 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

Recommendations

• The homology of partial monoid actions and Petri nets
• Homology and bisimulation of asynchronous transition systems and Petri nets
• On the homology of small categories and asynchronous transition systems
• Homological properties of non-deterministic branchings of mergings in higher dimensional automata
• scientific article; zbMATH DE number 1302049

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 (4)

• The homology of partial monoid actions and Petri nets
• On the homology of small categories and asynchronous transition systems
• Homology and bisimulation of asynchronous transition systems and Petri nets
• On the homology language of HDA models of 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)