Two Sufficient Conditions on Refactorizability of Acyclic Extended Free Choice Workflow Nets to Acyclic Well-Structured Workflow Nets and Their Application Ichiro TOYOSHIMAShingo YAMAGUCHIYuki MURAKAMI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2015/02/01 Vol. E98-ANo. 2pp. 635-644 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: workflow net, extended free choice WF-net, well-structured WF-net, refactorizability, PT-handle, TP-handle,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2013/02/01 Vol. E96-ANo. 2pp. 514-524 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Concurrent Systems Keyword: signaling pathway, timed Petri net, retention-free Petri net, self-loop, cycle, inhibitory arc,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2010/12/01 Vol. E93-ANo. 12pp. 2717-2729 Type of Manuscript: Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications) Category: Keyword: Petri net, signaling pathway, firing delay time, stochastic decision rule, conflict resolution,