XSLT BPMN to Petri net