The homology of partial monoid actions and Petri nets

DOI10.1007/S10485-012-9280-9zbMath1370.18002OpenAlexW2014294719MaRDI QIDQ395664

Ahmet A. Khusainov

Publication date: 30 January 2014

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-012-9280-9

zbMATH Keywords

Petri netsBaues-Wirsching homologyasynchronous transition systemcategory of factorizationsCE netsfree partially commutative monoidhomology of small categoriesLeech homologytrace monoid

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Resolutions; derived functors (category-theoretic aspects) (18G10) Simplicial sets and complexes in algebraic topology (55U10) Chain complexes (category-theoretic aspects), dg categories (18G35) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Related Items (1)

Homology groups of cubical sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The global dimension of a trace monoid ring
• On efficient sparse integer matrix Smith normal form computations
• Petri nets and bisimulation
• On the Leech dimension of a free partially commutative monoid
• Cohomology of small categories
• Comparing dimensions of a small category
• On the homology of small categories and asynchronous transition systems
• Homological properties of non-deterministic branchings of mergings in higher dimensional automata
• A Framework for Component Categories
• Cubical homology and the Leech dimension of free partially commutative monoids
• Higher algebraic K-theory: I
• Foundations of Software Science and Computational Structures

This page was built for publication: The homology of partial monoid actions and Petri nets