1-Safe Petri Nets and Special Cube Complexes (Q4972155)
From MaRDI portal
scientific article; zbMATH DE number 7135655
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 1-Safe Petri Nets and Special Cube Complexes |
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
