@inproceedings{braghetto:hal-00788798, TITLE = {{Performance Evaluation of Business Processes through a Formal Transformation to SAN}}, AUTHOR = {Braghetto, Kelly Rosa and Ferreira, Joao Eduardo and Vincent, Jean-Marc}, URL = {https://inria.hal.science/hal-00788798}, BOOKTITLE = {{Proceedings of the 8th European Performance Engineering Workshop (EPEW 2011)}}, ADDRESS = {Borrowdale, United Kingdom}, PUBLISHER = {{Springer}}, SERIES = {LNCS}, VOLUME = {6977}, PAGES = {42 - 56}, YEAR = {2011}, DOI = {10.1007/978-3-642-24749-1\_5}, HAL_ID = {hal-00788798}, HAL_VERSION = {v1}, }