A workflow modeling optimization and analysis algorithm based on Petri-net

Based on the description of classic Petri-net modeling theory, this paper analyzed the workflow net reachability and rationality. Combining the Petri-net model characteristic, it described the four route structures of workflow net using a quadruple form of three nodes and a flow relation. Then it presented the optimization algorithm of adding controlling node, and optimized a case of insurance claim by the algorithm, verified the validation of the algorithm. Finally, it presented the parallel optimization and incorporation optimization algorithm. This algorithm could turn the sequential structure to parallel structure or incorporate two tasks to one that satisfying the optimization condition, thus reduced average completion time and reached the purpose of optimization. This algorithm was verified by a case of telecommunications business process.