Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1997/12/25 Vol. E80-DNo. 12 ;
pp. 1141-1148 Type of Manuscript: PAPER Category: Automata,Languages and Theory of Computing Keyword: rewriting system, semi-Thue system, Petri net, abstract rewriting system,