Katsushi TAKANO


Extracting Minimal Siphon-Traps of Petri Nets and Its Application to Computing Nonnegative Integer-Invariants
Satoshi TAOKA Katsushi TAKANO Toshimasa WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/11/01
Vol. E85-A  No. 11  pp. 2436-2446
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
Petri netminimal siphon-trapsFourier-Motzkin methodinvariant computationpolynomial-time algorithms
 Summary | Full Text:PDF(489.7KB)

Experimental Evaluation of Two Algorithms for Computing Petri Net Invariants
Katsushi TAKANO Satoshi TAOKA Masahiro YAMAUCHI Toshimasa WATANABE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/11/01
Vol. E84-A  No. 11  pp. 2871-2880
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
Petri netminimal siphon-trapsFourier-Motzkin methodmemory overflow
 Summary | Full Text:PDF(763.5KB)