This paper aims to model workflow processes and to analyze them. From an enterprise model, we automatically translate the workflow processes into an equivalent Petri net which allows to check properties of good behavior. Thus, it is possible to verify the good modeling and to detect some process problems in the enterprise.
