Naoki Nakahara, Shingo Yamaguchi. On Liveness of Non-sound Acyclic Free Choice Workflow Nets. In Second International Symposium on Computing and Networking, CANDAR 2014, Shizuoka, Japan, December 10-12, 2014. pages 336-341, IEEE, 2014. [doi]
@inproceedings{NakaharaY14,
title = {On Liveness of Non-sound Acyclic Free Choice Workflow Nets},
author = {Naoki Nakahara and Shingo Yamaguchi},
year = {2014},
doi = {10.1109/CANDAR.2014.113},
url = {http://dx.doi.org/10.1109/CANDAR.2014.113},
researchr = {https://researchr.org/publication/NakaharaY14},
cites = {0},
citedby = {0},
pages = {336-341},
booktitle = {Second International Symposium on Computing and Networking, CANDAR 2014, Shizuoka, Japan, December 10-12, 2014},
publisher = {IEEE},
isbn = {978-1-4799-4152-0},
}