pep exportation using contextual Petri net
fix underapproximation with coop priorities
Merge branch 'master' of loicpauleve.name:repository/rech/pint