%0 Journal Article %1 journals/ieicet/WatanabeT09 %A Watanabe, Toshimasa %A Taoka, Satoshi %D 2009 %J IEICE Transactions %K invariant %N 11 %P 2707-2716 %T Efficiently Computing Minimal-Support Nonnegative Integer Invariants of Petri Nets. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet92a.html#WatanabeT09 %V 92-A

@article{journals/ieicet/WatanabeT09, added-at = {2014-02-11T23:21:02.000+0100}, author = {Watanabe, Toshimasa and Taoka, Satoshi}, biburl = {https://www.bibsonomy.org/bibtex/23ec77c15e5c6a6d477d062deb44578f0/eperzhand}, ee = {http://search.ieice.org/bin/summary.php?id=e92-a_11_2707}, interhash = {01f4951e0e57a07309bbd0a0cb7709b9}, intrahash = {3ec77c15e5c6a6d477d062deb44578f0}, journal = {IEICE Transactions}, keywords = {invariant}, number = 11, pages = {2707-2716}, timestamp = {2014-02-11T23:21:02.000+0100}, title = {Efficiently Computing Minimal-Support Nonnegative Integer Invariants of Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet92a.html#WatanabeT09}, volume = {92-A}, year = 2009 }