Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/04/01 Vol. E88-ANo. 4 ;
pp. 964-971 Type of Manuscript: Special Section PAPER (Special Section on Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: Petri nets, P-invariants, minimal supports, siphon-traps, Fourier-Motzkin method,
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,