Business processes and workflows are crucial elements in the design and development of commercial systems, such as enterprise resource planning (ERP) or e-commerce systems and many more. Despite their important role there are little means to ensure the correctness of these processes and workflows as well as consistency between them. In contrast to other verification problems the semantics of business processes to be checked are less explicit and formalised.