Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2016/02/01 Vol. E99-ANo. 2 ;
pp. 509-512 Type of Manuscript: Special Section LETTER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: Petri net, workflow net, bridge-less, necessary and sufficient condition, polynomial-time procedure,
Polynomial Time Verification of Protocol Inheritance between Acyclic Extended Free-Choice Workflow Nets and Their Subnets Shingo YAMAGUCHITomohiro HIRAKAWA