Simon, CarloDehnert, JulianeFeltz, FernandOberweis, AndreasOtjacques, Benoît2019-10-112019-10-1120043-88579-385-7https://dl.gi.de/handle/20.500.12116/28538The use of Workflow Management Systems allows to automate numerous Business Processes within companies. For this, workflow definitions as executable derivates of business process descriptions must be formulated in a formal specification language. For both - the less formal descriptions of business processes and the workflow definitions - Petri net based approaches are widely used and well understood. In this paper, we study the process of deriving workflow definitions from less formal business process descriptions and even fragments of such descriptions and how to satisfy the correctness of these models among each other.enText/Conference Paper1617-5468