![]() |
@article{DBLP:journals/ieicet/TaguchiITW05,
author = {Akihiro Taguchi and
Atsushi Iriboshi and
Satoshi Taoka and
Toshimasa Watanabe},
title = {Siphon-Trap-Based Algorithms for Efficiently Computing Petri
Net Invariants},
journal = {IEICE Transactions},
volume = {88-A},
number = {4},
year = {2005},
pages = {964-971},
ee = {http://dx.doi.org/10.1093/ietfec/e88-a.4.964},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-01-17 by Michael Ley (ley@uni-trier.de)