Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/11/01 Vol. E92-ANo. 11 ;
pp. 2707-2716 Type of Manuscript: INVITED PAPER (Special Section on Theory of Concurrent Systems and its Applications) 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: 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,