Homology and bisimulation of asynchronous transition systems and Petri nets (Q892055)

The author introduces homology groups for labelled asynchronous transition systems (labelled transition systems equipped with an irreflexive binary relation of independence) and Petri nets. He proves that two labelled asynchronous transition systems which are bisimilar equivalent in the sense of Joyal-Nielsen-Winskel have isomorphic homology groups. A method of constructing a Petri net with given homology groups is given.