Research On Constraint Solving Of Workflow Nets Based On MSVL

With the rapid development of information technology,computer and network technologies are used more and more widely,and the business process becomes more complicated.The workflow technology has the ability to integrate the intricate information resources of enterprises,which can be often used to realize the automatic and efficient organization and management of business processes,as well as the depth optimization.Petri net is a modeling tool which organicly combines mathematical theory with graphic description.It has the ability to analyze the structure of workflow model and evaluate the system performance.Therefore,it is widely regarded as the main technology for the analysis of workflow.This thesis mainly utilizes time Petri net to establish the time constraints on the workflow model.In the modeling process,four basic structures,i.e.sequential,selective,parallel and loop structures,are mainly used to model the structure of workflow which is well–formed.Moreover,this thesis obtains the response time interval of an entire workflow by a quantitative temporal analysis.The following three aspects have been studied.1.Based on the theories of Petri net and workflow,a method is put forward,which models the business process involving the time factor by the combination of time Petri net and workflow.Then it is regard as the workflow net which can be equivalently reduced by extending the definition of time workflow.2.In order to analyze the static structure of workflow net,the temporal logic programming language MSVL has been studied,several following algorithms have been implemented,which are based on the current interpreter MSV:(1)the algorithms for equivalently simplifying four basic structures;(2)the algorithms for equivalently and recursively simplifying hybrid structures;(3)the algorithm for obtaining the subnet of a complex workflow net,which can be equivalently simplified;(4)the algorithm for identifying four structures according to the structural characteristics of each node in the network.3.Three instances,i.e.“Insurance claim”,“Travel agency”,and “Logistics circulation ”,are used to demonstrate the correctness and validity of the constraint solving tool for MSVL based time workflow net.