Groebner Basis Procedures for Testing Petri Nets
From MaRDI portal
Publication:6470239
arXivmath/0002119MaRDI QIDQ6470239FDOQ6470239
Authors: Angie Chandler, Anne Heyworth 
Publication date: 15 February 2000
Abstract: 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.
This page was built for publication: Groebner Basis Procedures for Testing Petri Nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6470239)
