Two efficient methods for computing Petri net invariants. - Katsishi Takano; Satoshi Taoka; Masahiro Yamauchi; Toshimasa Watanabe (SMC, 2001)