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

MaRDI QIDQ890902zbMATH OpenFDO

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

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)

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

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)