Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2017/02/01 Vol. E100-ANo. 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,
Polynomial Time Verification of Reachability in Sound Extended Free-Choice Workflow Nets Shingo YAMAGUCHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2014/02/01 Vol. E97-ANo. 2 ;
pp. 468-475 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: Petri net, workflow net, reachability, extended free-choice, well-structured, polynomial time algorithm,
Refactoring Problem of Acyclic Extended Free-Choice Workflow Nets to Acyclic Well-Structured Workflow Nets Shingo YAMAGUCHI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/05/01 Vol. E95-DNo. 5 ;
pp. 1375-1379 Type of Manuscript: Special Section LETTER (Special Section on Formal Approach) Category: Formal Methods Keyword: workflow net, refactoring, well-structured, soundness, branching bisimilarity,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2010/12/01 Vol. E93-ANo. 12 ;
pp. 2730-2739 Type of Manuscript: Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications) Category: Keyword: WF-nets, well-structured, PARAdeg, heuristic algorithm, longest path, nest structure,