Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/11/01 Vol. E85-ANo. 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 net, minimal siphon-traps, Fourier-Motzkin method, invariant computation, polynomial-time algorithms,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-ANo. 11 ;
pp. 2871-2880 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, minimal siphon-traps, Fourier-Motzkin method, memory overflow,