19694 B. Nash: Reachability problems in vector addition systems.
Am. Math. Monthly 80/3 (1973), 292-295.

8647 Christophe Reutenauer: The mathematics of Petri nets.
Masson 1990. 0-13-561887-8.