Reachability Test in Petri Nets by Gröbner Bases
- Ferscha, Alois
- Caprotti, O.
- Hong, H.
![Grafik](/style/images/pfeil_up_dunkelblau.gif)
Shortfacts
Category |
Technical Report (Technical Report) |
Divisions |
Distributed Systems |
Publisher |
Johannes Kepler University Linz |
Date |
January 1995 |
Export |
![Grafik](/style/images/pfeil_up_dunkelblau.gif)