Vérification formelle des aspects de cohérence d’un Workflow net