Homology and bisimulation of asynchronous transition systems and Petri nets (Q892055)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Homology and bisimulation of asynchronous transition systems and Petri nets |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Homology and bisimulation of asynchronous transition systems and Petri nets |
scientific article |
Statements
Homology and bisimulation of asynchronous transition systems and Petri nets (English)
0 references
18 November 2015
0 references
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.
0 references
bisimulation
0 references
homology groups
0 references
simplicial complex
0 references
trace monoid
0 references
partial action
0 references
asynchronous system
0 references
Petri net
0 references
