Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2018/06/01
Vol. E101-D
No. 6
pp. 1503-1510
Type of Manuscript:
Special Section PAPER (Special Section on Formal Approaches) Category: Formal Approaches Keyword: the response property, Petri net, process tree, computational complexity, polynomial time algorithm, |