arXiv:math/0002119 [math.CO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords groebner basis procedures, testing petri nets, paper contains introductory material, groebner basis theory, navigational systems Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset