@inproceedings{inproceedingsf5386594,
title   = {Performance evaluation of business processes through a formal transformation to SAN},
author = {Braghetto, Kelly Rosa and Ferreira, João Eduardo and Vincent, Jean-Marc},
year = {2011},
doi = {10.1007/978-3-642-24749-1_5},
publisher = {Springer},
booktitle   = {European Performance Engineering Workshop - EPEW}
}