-
Vector Addition System Reachability Problem: A Short Self-Contained Proof
International audience -
Representations of Reversible Automata and State Graphs of Vector Addition Sy...
Using the interpretation of a place of a vector addition system as a synchronic constraint we derive a characterization of the state graphs of vector addition systems... -
Place-Boundedness for Vector Addition Systems with one zero-test
International audience
