Reachability Test in Petri Nets by Gröbner Bases

Reachability Test in Petri Nets by Gröbner Bases

Authors
  • Ferscha, Alois
  • Caprotti, O.
  • Hong, H.
Grafik Top
Shortfacts
Category
Technical Report (Technical Report)
Divisions
Distributed Systems
Publisher
Johannes Kepler University Linz
Date
January 1995
Export
Grafik Top