Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/09/01 Vol. E88-DNo. 9 ;
pp. 2113-2125 Type of Manuscript: PAPER Category: Fundamentals of Software and Theory of Programs Keyword: Petri net, reachability, complexity, decomposition approach,