2011/11/03 by Ahmet A. Husainov, Husainov, Ahmet A.
Computer Science · Mathematics · #18B40 #18G10 #18G35 #55U10 #68Q85 #Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Multiagent Systems (cs.MA) #cs.MA #math.AT #msc:18B40 #msc:18G10 #msc:18G35 #msc:55U10 #msc:68Q85
paper · pdf · doi:10.48550/arxiv.1111.0854
30 pages
arxiv created 2011/11/03 · arxiv updated 2011/11/04
The aim of this paper is to investigate the homology groups of mathematical models of concurrency. We study the Baues-Wirsching homology groups of a small category associated with a partial monoid action on a set. We prove that these groups can be reduced to the Leech homology groups of the monoid. For a trace monoid with an action on a set, we will build a cubical complex of free Abelian groups with homology groups isomorphic to the integral homology groups of the action category. It allows us to solve the problem posed by the author in 2004 of the constructing an algorithm for computing homology groups of the CE nets. We describe the algorithm and give examples of calculating the homology groups.