The Mathematics of Petri Nets

Petri-nets and vector addition systems graphs and ordered sets rational subsets in a monoid and semi-line sets vectors addition systems with states chains and reachability complements.