Formalisations And Applications Of Business Process Modelling Notation