https://123dok.net/document/yj7ej66y-modelisation-de-processus-metiers-cooperatifs-a-l-aide-de-bpmn-verification-et-simulation-par-reseaux-de-petri.html