Siphon-Trap-Based Algorithms for Efficiently Computing Petri Net Invariants. - Akihiro Taguchi; Atsushi Iriboshi; Satoshi Taoka; Toshimasa Watanabe (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)