Based on the definition of Business Process Management proposed in Section 2, a characterization Business process analysis aims at investigating properties of business pro- cesses that are neither this end, the term analysis is used with a rather broad meaning, including for