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