Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns · Study