Groebner Basis Procedures for Testing Petri Nets

Angie Chandler, Anne Heyworth

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…