Sihem Mallek, Nicolas Daclin, Vincent Chapurlat, Bruno Vallespir. Enabling model checking for collaborative process analysis: from BPMN to 'Network of Timed Automata'. Enterprise IS, 9(3):279-299, 2015. [doi]
@article{MallekDCV15,
title = {Enabling model checking for collaborative process analysis: from BPMN to 'Network of Timed Automata'},
author = {Sihem Mallek and Nicolas Daclin and Vincent Chapurlat and Bruno Vallespir},
year = {2015},
doi = {10.1080/17517575.2013.879211},
url = {http://dx.doi.org/10.1080/17517575.2013.879211},
researchr = {https://researchr.org/publication/MallekDCV15},
cites = {0},
citedby = {0},
journal = {Enterprise IS},
volume = {9},
number = {3},
pages = {279-299},
}