Homology groups of asynchronous systems, Petri nets, and trace languages (Q890902)
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 groups of asynchronous systems, Petri nets, and trace languages |
scientific article; zbMATH DE number 6509001
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Homology groups of asynchronous systems, Petri nets, and trace languages |
scientific article; zbMATH DE number 6509001 |
Statements
Homology groups of asynchronous systems, Petri nets, and trace languages (English)
0 references
16 November 2015
0 references
semi-cubical set
0 references
homology of small categories
0 references
free partially commutative monoid
0 references
trace monoid
0 references
asynchronous transition system
0 references
Petri nets
0 references
trace languages
0 references
