Groebner Basis Procedures for Testing Petri Nets

Details Groebner Basis Procedures for Testing Petri Nets Groebner Basis Procedures for Testing Petri Nets

2000-02-15

arxiv.org/abs/math/0002119v1

Mathematics

Combinatorics

13 pages, Latex with 3 diagrams as eps files

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Groebner Basis Procedures for Testing Petri Nets does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Groebner Basis Procedures for Testing Petri Nets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Groebner Basis Procedures for Testing Petri Nets will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-612974