The General Vector Addition System Reachability Problem by Presburger Inductive Invariants (Q2786139)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The General Vector Addition System Reachability Problem by Presburger Inductive Invariants |
scientific article |
Statements
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants (English)
0 references
21 September 2010
0 references
reachability
0 references
Petri net
0 references
Presburger formula
0 references
vector addition system
0 references
