Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2017/02/01
Vol. E100-A
No. 2
pp. 421-426
Type of Manuscript:
Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: Petri net, workflow net, well-structured, soundness, reachability, separability, |