Kelly Rosa Braghetto, João Eduardo Ferreira, Jean-Marc Vincent. Performance Evaluation of Business Processes through a Formal Transformation to SAN. In Nigel Thomas, editor, Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings. Volume 6977 of Lecture Notes in Computer Science, pages 42-56, Springer, 2011. [doi]
Abstract is missing.