University of Santo Tomas
The qualitative and quantitative analysis of operational processes recently started to receive special attention with the business process management systems. But the Business Process Model and Notation (BPMN), the standard representation of business processes, is not appropriate to support the analysis phase. Most of the works proposing mappings from BPMN to formal languages aim model verification, but few are directed to quantitative analysis. In this paper, the authors state that a well-defined BPMN Process diagram can originate a Stochastic Automata Network (SAN) - a compositionally built stochastic model.