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,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2013/03/01 Vol. E96-DNo. 3 ;
pp. 426-432 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — New Trends in Algorithms and Theory of Computation —) Category: Keyword: the graph reconstruction conjecture, permutation graphs, polynomial time algorithm,