Shingo Yamaguchi, Tomohiro Hirakawa. Polynomial Time Verification of Protocol Inheritance between Acyclic Extended Free-Choice Workflow Nets and Their Subnets. IEICE Transactions, 96-A(2):505-513, 2013. [doi]
@article{YamaguchiH13,
title = {Polynomial Time Verification of Protocol Inheritance between Acyclic Extended Free-Choice Workflow Nets and Their Subnets},
author = {Shingo Yamaguchi and Tomohiro Hirakawa},
year = {2013},
url = {http://search.ieice.org/bin/summary.php?id=e96-a_2_505},
researchr = {https://researchr.org/publication/YamaguchiH13},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {96-A},
number = {2},
pages = {505-513},
}