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.

A Method of Time Constraint Workflow Model Analysis and Verification

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

Verification of Consistency of Temporal Constraints of the Workflow Modeling by Timed UML-Statecharts

An Automata-based Approach to the Consistency Verification of Real-time Workflow

UML-statecharts based verification of consistency of temporal constraints of the workflow

Modeling and analysis of workflows based on temporal logics

Research on Verification of Time Constraint Workflow Model Schedulability

Verification And Reduction Of Cyclic Structure In Workflow Model

Verification of Temporal Consistency in Dynamic Modification of Workflow Based on Time Constraint Petri Nets

Timing Boundedness Verification and Analysis of Workflow Model

Timing Constraint Workflow Nets for Workflow Analysis

Simplification Analysis and Schedulability Verification of Timing Constraint Workflow Model

Schedulability Analysis Algorithm for Timing Constraint Workflow Models

Real-time Model Checking of Dynamic Temporal Consistency for Multi-process of Workflow

Temporal Logic-based Workflow Analysis

A Practical Method to Analyze Workflow Logic Models.

Using temporal logics for modeling and analysis of workflows

An Emergency-Response Timing Constraint Workflow Model

Time constraints in workflow models

A Verification Method for Temporal Consistency of Service Flow

Modeling and Analysis of Workflow Based on TLA