@misc{indiciaed44101bfe0f4, title = {Groebner Basis Procedures for Testing Petri Nets}, author = {Angie Chandler and Anne Heyworth}, year = {2000}, url = {https://arxiv.org/abs/math/0002119}, note = {Source identifier: math/0002119} }