Research of the Verification in Workflow Process Modeling on the Application of Petri Nets

A critical challenge for workflow management systems is their ability to respond effectively to changes in business processes. Unfortunately, today´s workflow management systems are not well suited to dealing with frequent changes, because there are few checks to assure some minimal level of correctness. This paper presents a method using Petri-Net-Based techniques which makes the workflow process model verification mechanism integrated into the graphical process design component. As well as the verification process and verification approach are described.