%0 Journal Article %1 journals/ieicet/TaguchiITW05 %A Taguchi, Akihiro %A Iriboshi, Atsushi %A Taoka, Satoshi %A Watanabe, Toshimasa %D 2005 %J IEICE Transactions %K invariant %N 4 %P 964-971 %T Siphon-Trap-Based Algorithms for Efficiently Computing Petri Net Invariants. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet88a.html#TaguchiITW05 %V 88-A

@article{journals/ieicet/TaguchiITW05, added-at = {2014-02-11T23:24:26.000+0100}, author = {Taguchi, Akihiro and Iriboshi, Atsushi and Taoka, Satoshi and Watanabe, Toshimasa}, biburl = {https://www.bibsonomy.org/bibtex/2e68bfed4e83adf68e395033f54429efc/eperzhand}, description = {dblp}, ee = {http://dx.doi.org/10.1093/ietfec/e88-a.4.964}, interhash = {38218162ba6af4fc5de017df4c217c9d}, intrahash = {e68bfed4e83adf68e395033f54429efc}, journal = {IEICE Transactions}, keywords = {invariant}, number = 4, pages = {964-971}, timestamp = {2014-02-11T23:24:26.000+0100}, title = {Siphon-Trap-Based Algorithms for Efficiently Computing Petri Net Invariants.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet88a.html#TaguchiITW05}, volume = {88-A}, year = 2005 }