1-safe Petri nets and special cube complexes. Equivalence and applications (Q4972155)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7135655
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | 1-safe Petri nets and special cube complexes. Equivalence and applications |
scientific article; zbMATH DE number 7135655 |
Statements
1-Safe Petri Nets and Special Cube Complexes (English)
0 references
22 November 2019
0 references
1-safe Petri nets
0 references
MSO logic
0 references
context-free graphs
0 references
median graphs
0 references
CAT(0) cube complexes
0 references
special cube complexes
0 references
trace-regular event structures
0 references
unfoldings
0 references
universal covers
0 references
0.8420063853263855
0 references
0.839293897151947
0 references
