An automatic approach to transform BPMN models to Pi-Calculus. - Riad Boussetoua; Hammadi Bennoui; Allaoua Chaoui; Khaled Khalfaoui; Elhillali Kerkouche (AICCSA, 2015)