  This paper contains introductory material on Petri nets and Groebner basis
theory and makes some observations on the relation between the two areas. The
aim of the paper is to show how Groebner basis procedures can be applied to the
problem of reachability in Petri nets, and to give details of an application to
testing models of navigational systems.
