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
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