vector addition system

A VAS is a finite set for some

Let  be a VAS. Given a vector , the vector  can be reached, in one transition, if  and