There is a minor ambiguity in translating BPMN to Petri Nets
