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.

Timing Boundedness Verification and Analysis of Workflow Model

Timing Constraint Workflow Nets for Workflow Analysis

Schedulability Analysis Algorithm for Timing Constraint Workflow Models

Verification And Reduction Of Cyclic Structure In Workflow Model

Performance modeling and analysis of workflow

A Method of Time Constraint Workflow Model Analysis and Verification

Simplification Analysis and Schedulability Verification of Timing Constraint Workflow Model

Modeling and Analyzing of Uncertain Time for Multi-process of Workflows with Resource Constraints

An Extended Time Workflow Model Based on TWF-net and Its Application

MULTIPLE WORKFLOW-NET AND ITS SCHEDULABILITY VERIFICATION BASED ON RESOURCE AND TEMPORAL CONSTRAINT

A Workflow Model Based on Fuzzy-Timing Petri Nets

Towards a Workflow Model of Real-Time Cooperative Systems

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

Approximate performance analysis of Workflow model

Modeling and Verification of Workflow Based on Resource Constraint

A Practical Method to Analyze Workflow Logic Models.

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

Linear Temporal Inference Of Workflow Management Systems Based On Timed Petri Nets Models

Verification of Resource Constraints for Concurrent Workflows

Research on Verification of Time Constraint Workflow Model Schedulability