An Application of Grobner Basis Approach to Petri Net Problems. - Tadashi Matsumoto 002; Maki Takata; Seiichiro Moro (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)