vector addition system with states

vector addition system with states VASS

A VASS is a finite directed graph $(Q,T)$ such that $T\subseteq Q\times {\mathbb{Z}}^d\times Q$ for some $d>0.$

Let $(Q,T)$ be a VASS. Given a configuration $(p,u)\in Q\times {\mathbb{N}}^d$, the configuration $(q,u+v)$ can be reached, in one transition, if $(p,v,q)\in T$ and $u+v\in {\mathbb{N}}^d$.

---

• vector addition system
• transition system