Technology Presen sew-35-12(beamer)

1. Introduction Formalization of BPMN Basic ideas for proofs/implementationConclusions and future workAutomating the Transformation from BPMNModels to CSP+T Specifications…