Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour. Liveness and Reachability Analysis of BPMN Process Models. CIT, 24(2):195-207, 2016. [doi]
@article{RachdiED16,
title = {Liveness and Reachability Analysis of BPMN Process Models},
author = {Anass Rachdi and Abdeslam En-Nouaary and Mohamed Dahchour},
year = {2016},
url = {http://cit.fer.hr/index.php/CIT/article/view/2774},
researchr = {https://researchr.org/publication/RachdiED16},
cites = {0},
citedby = {0},
journal = {CIT},
volume = {24},
number = {2},
pages = {195-207},
}