@techreport{RISC1564,author = {Olga Caprotti and Alois Ferscha and Hoon Hong},
title = {{Reachability Test in Petri Nets by Gr\"obner Bases}},
number = {95-03},
year = {1995},
sponsor = { Austrian Forschungsf"{o}rderungsfonds (FWF), project no.S5302-PHY (Parallel Symbolic Computation).},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}