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.

Approximate performance analysis of Workflow model

Performance modeling and analysis of workflow

Performance Analysis of Workflow Model with Resource Constraints

A Method of Workflow Model Performance Analysis Based on the Mechanism of Ant Colony Found Food

Verification And Reduction Of Cyclic Structure In Workflow Model

Performance Analysis of Wf-Net Process Definition Based on CTMC

A Method of Distributed Job Management System Performance Analysis Based on Workflow Net

Workflow performance analysis and simulation based on multidimensional workflow net

A Novel Reduction Approach to Analyzing QoS of Workflow Processes

Queuing Analysis and Performance Evaluation of Workflow Through WFQN

Timing Boundedness Verification and Analysis of Workflow Model

Workflow Model Performance Analysis Concerning Instance Dwelling Times Distribution.

A stochastic model for workflow QoS evaluation.

A Practical Scheduling Method Based on Workflow Management Technology

Modeling and analyzing of uncertain time for multi-process of workflows with resource constraints

MD_WFN: Multi-dimensional Workflow Model Based on Petri-net

Performance bounds for a class of workflow diagrams

Modeling and Verification of Workflow Based on Resource Constraint

New User-Oriented Workflow Model

Performance Analysis of Workflow Process Based on Stochastic Well-formed Workflow

Research on Petri Net Based Modeling and Analyzing Methods for Workflow Process