Workflow Performance Analysis Based on Invariant Decomposition Algorithm

庞善臣,蒋昌俊
DOI: https://doi.org/10.3724/sp.j.1016.2010.00908
2010-01-01
Abstract:A new necessary and sufficient condition for the soundness of workflow model is presented based on the Petri Nets modeling techniques in this paper.Some properties,such as the existence of P-invariant and the cover sets of the WF-net places are analyzed and verified.A polynomial algorithm of workflow model decomposition based on P-invariant is presented,and then the Generalized WF-net(GWF-net) is defined.A new time performance analysis method to GWF-net is set up that the decomposition algorithm and moment generation function unite.Compared with other exponential algorithms,the method can get over the shortage of the search method and reduce consumedly decomposition complexity of the workflow net,and the algorithms has the advantage that its form is simple,understandable easily and the operation is easy very much.The results provide a new method for workflow system analysis and verification,and can also effectively reduce the analyzing complexity of the workflow systems,and it is important to analyze the ability to deal with the business process of workflow system,and improve the efficiency for workflow system to deal with the business process.The usability of the research results in this paper is illustrated by an example.
What problem does this paper attempt to address?