Transformation and validation of BPMN models to Petri nets models using GROOVE | IEEE Conference Publication | IEEE Xplore