Petri net language

LOOPN++ 0 Evolution of
1