The Reachability Problem for Two-Dimensional Vector Addition Systems with States (Q5056423)
From MaRDI portal
scientific article; zbMATH DE number 7629038
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Reachability Problem for Two-Dimensional Vector Addition Systems with States |
scientific article; zbMATH DE number 7629038 |
Statements
The Reachability Problem for Two-Dimensional Vector Addition Systems with States (English)
0 references
8 December 2022
0 references
vector addition systems with states
0 references
Petri nets
0 references
semilinear sets
0 references
linear path schemes
0 references
reachability
0 references
