Performance evaluation of resource-aware business processes using stochastic automata networks - Braghetto, Kelly Rosa; Ferreira, João Eduardo; Vincent, J. M (International Journal of Innovative Computing, Information and Control (IJICIC), 2012)