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.