Often business processes modelling is confined to Flow Chart like representation and the models are not amenable to analysis (e.g., simulation) to study their behaviour. As a consequence, validation and verification of such models are merely conducted manually based on the intuition, experience and knowledge of analysts and processes managers. While for small models this may not represent a cha...
