Abstract:As the foundation and focal Point of workflow application it is unavoidable to introduce the structural conflict during the establishing of workflow model. However, the currently existed verification method of workflow mode has limitations. An effective method that can be used to verify arbitrary workflow model is required. After the investigation of the workflow model, we rind that the cyclic structure can make the workflow model more complex. Thus, this paper aims to investigate the cyclic structure of Workflow Nets(WF-net). The method for establishing the transition invariant (T-invariant) subnet of WF-net is proposed, then the necessary and sufficient condition for the T-invariant subnet with sound structure is given. In further study, a verification and reduction method of cyclic structure of WF-nets is put forward. This method not only can point out the error in the cyclic structure and find what causes the error, but also can reduce the sound cyclic structure. After the reduction, a WF-net with cyclic structure is reduced to a WF-net without cyclic structure, then many reduction methods can be used to realize the sound verification of a WF-net without cyclic structure. In the end, the time complexity of the verification and reduction process is discussed.

The syntactical analysis of workflow model with loop structure

Verification And Reduction Of Cyclic Structure In Workflow Model

Executive validation analysis of workflow process

Research on modeling of J2EE-based workflow management system

A Practical Method to Analyze Workflow Logic Models.

Research on Workflow Process Structure Verification

Wolf-Pack Algorithm for Business Process Model Syntactic and Semantic Structure Verification in the Workflow Management Environment

A Novel Verification Approach of Workflow Schema

Workflow Process Analysis Responding to Structural Changes

Design and Implementation of Workflow Modeling and Processing System with Business Reconstruction

An Algorithm Combining Graph-Reduction and Graph-Search for Workflow Graphs Verification.

Semantic Deduction-Based Workflow Structure Verification Method

Correctness Verification of Synchronization Based Workflow Model

A Workflow Verification Method Based on Calculus.

A Verification approach of Workflow Schema for Large-scale Complicated Application

Modeling and Analysis of Workflow Based on TLA

Verification Method for Process Model Based on Graph-Spreading and Graph-Reduction

A Formal Modeling Method for Workflow Based on Selection Logic

Constructing and Analysis of the State Spaces of Workflow Process Models

Critical Path Analysis for Structure Optimization of Workflow

Model Checking of Constraint-Based Workflow Based on Linear Temporal Logic