Mapping of BPMN to Petri net

[nikku]

How is Signavio related to our toolkits?