Extracting Minimal Siphon-Traps of Petri Nets and Its Application to Computing Nonnegative Integer-Invariants. - Satoshi Taoka; Katsushi Takano; Toshimasa Watanabe (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)