Groebner Basis Procedures for Testing Petri Nets
组合数学
2007-05-23 v1 最优化与控制
摘要
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.
引用
@article{arxiv.math/0002119,
title = {Groebner Basis Procedures for Testing Petri Nets},
author = {Angie Chandler and Anne Heyworth},
journal= {arXiv preprint arXiv:math/0002119},
year = {2007}
}
备注
13 pages, Latex with 3 diagrams as eps files