BPMN Choreography ⇢ Petri Net

Info GitHub
The Petri Net encoding will appear here