Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-ANo. 11 ;
pp. 2881-2884 Type of Manuscript: Special Section LETTER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, legal firing sequence problem, partial order methods, stubborn sets, state space explosion,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/03/25 Vol. E83-ANo. 3 ;
pp. 480-486 Type of Manuscript: Special Section PAPER (Special Section of Selected Papers from the 12th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: Petri nets, legal firing sequence problem, polynomial time algorithms,