"Transformation and validation of BPMN models to Petri nets models using ..."

Said Meghzili et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics