Homology and bisimulation of asynchronous transition systems and Petri nets

zbMath1328.55023arXiv1307.5377MaRDI QIDQ892055

Ahmet A. Khusainov

Publication date: 18 November 2015

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

Full work available at URL: https://arxiv.org/abs/1307.5377

zbMATH Keywords

simplicial complexbisimulationhomology groupsPetri netasynchronous systempartial actiontrace monoid

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Simplicial sets and complexes in algebraic topology (55U10)

This page was built for publication: Homology and bisimulation of asynchronous transition systems and Petri nets