Groebner Basis Procedures for Testing Petri Nets

Simple item page
dc.creatorChandler, Angie
dc.creatorHeyworth, Anne
dc.date2000-02-15
dc.date.accessioned2026-07-07T04:33:53Z
dc.date.available2026-07-07T04:33:53Z
dc.descriptionThis 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.
dc.description13 pages, Latex with 3 diagrams as eps files
dc.identifierhttps://arxiv.org/abs/math/0002119
dc.identifierhttp://arxiv.org/abs/math/0002119
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/58693
dc.subjectCombinatorics
dc.subjectOptimization and Control
dc.subject60R05 (Primary) 90C35 (Secondary)
dc.titleGroebner Basis Procedures for Testing Petri Nets
dc.typetext

Files

Collections

arXiv