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