Akihiro Taguchi, Atsushi Iriboshi, Satoshi Taoka, Toshimasa Watanabe. Siphon-Trap-Based Algorithms for Efficiently Computing Petri Net Invariants. IEICE Transactions, 88-A(4):964-971, 2005. [doi]
@article{TaguchiITW05, title = {Siphon-Trap-Based Algorithms for Efficiently Computing Petri Net Invariants}, author = {Akihiro Taguchi and Atsushi Iriboshi and Satoshi Taoka and Toshimasa Watanabe}, year = {2005}, doi = {10.1093/ietfec/e88-a.4.964}, url = {http://dx.doi.org/10.1093/ietfec/e88-a.4.964}, tags = {rule-based}, researchr = {https://researchr.org/publication/TaguchiITW05}, cites = {0}, citedby = {0}, journal = {IEICE Transactions}, volume = {88-A}, number = {4}, pages = {964-971}, }