Braghetto et al. (2011) present an algorithm to transform BPMN models to Stochastic Automata Network (SAN) models, a formalism that permits efficiency evaluation of parallel and distributed systems. The algorithm capabilities primarily based on a set of rules that map small BPMN constructs to SAN constructs. After conversion, a unique set of procedures is used to…
