Z. Bouziane, A primitive recursive algorithm for the general Petri net reachability problem, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280), pp.130-136, 1998.
DOI : 10.1109/SFCS.1998.743436
URL : https://hal.archives-ouvertes.fr/inria-00073286

J. Esparza and M. Nielsen, Decidability issues for petri nets -a survey, Bulletin of the European Association for Theoretical Computer Science, vol.52, pp.245-262, 1994.

S. Ginsburg and E. H. Spanier, Semigroups, Presburger formulas, and languages, Pacific Journal of Mathematics, vol.16, issue.2, pp.285-296, 1966.
DOI : 10.2140/pjm.1966.16.285

E. John, J. Hopcroft, and . Pansiot, On the reachability problem for 5-dimensional vector addition systems, Theoritical Computer Science, vol.8, pp.135-159, 1979.

P. Jan?ar, Decidability of a temporal logic problem for Petri nets, Theoretical Computer Science, vol.74, issue.1, pp.71-93, 1990.
DOI : 10.1016/0304-3975(90)90006-4

P. Jan?ar, Bouziane???s transformation of the Petri net reachability problem and incorrectness of the related algorithm, Information and Computation, vol.206, issue.11, pp.1259-1263, 2008.
DOI : 10.1016/j.ic.2008.06.003

S. and R. Kosaraju, Decidability of reachability in vector addition systems (Preliminary Version), Proceedings of the fourteenth annual ACM symposium on Theory of computing , STOC '82, pp.267-281, 1982.
DOI : 10.1145/800070.802201

J. Luc and L. , A structure to decide reachability in petri nets, Theoretical Computer Science, vol.99, issue.1, pp.79-104, 1992.

J. Leroux, The general vector addition system reachability problem by Presburger inductive invariants, LICS'09, pp.4-13, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00272667

J. Leroux, Vector addition system reachability problem: a short self-contained proof, POPL 2011, pp.307-316, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00599756

E. W. Mayr, An algorithm for the general petri net reachability problem, STOC 1981, pp.238-246, 1981.

W. Ernst, A. R. Mayr, and . Meyer, The complexity of the finite containment problem for petri nets, J. ACM, vol.28, issue.3, pp.561-576, 1981.

S. George, R. L. Sacerdote, and . Tenney, The decidability of the reachability problem for vector addition systems (preliminary version), STOC 1977, pp.61-76, 1977.

A. Schrijver, Theory of Linear and Integer Programming, 1987.