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: 1996/11/25 Vol. E79-ANo. 11 ;
pp. 1825-1828 Type of Manuscript: Special Section LETTER (Special Section on Description Models for Concurrent Systems and Their Applications) Category: Keyword: general Petri nets, minimal siphons, polynomial-time algorithms, strongly connectednedd, NP-completeness,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1996/11/25 Vol. E79-ANo. 11 ;
pp. 1817-1824 Type of Manuscript: Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications) Category: Keyword: general Petri nets, minimal siphons, polynomial-time algorithms, strongly connectedness, NP-completeness,