On the homology groups of asynchronous transition systems

This work is devoted to the homology groups of the asynchronous transition systems and Petri nets. A parallel product of the asynchronous transition systems is introduced. The Künneth formula for the parallel product is proved.