Mathematical Modeling Of The Workflow Model Simulation Study

WfMS is considered the third separateness of applications after the precedents DBMS and Human-computer Interface Management System. It has been an important component of present application systems, especially those systems in Internet environment. Because of the separateness, people can do a depth research in such separated software component. In recent years, academe and industry circle of home or abroad paid so much attention on it, and raised an upsurge in workflow research.At present, the research of workflow process model isn't mature yet. Different research institute and WfMS development institute brought up various models. So, there are many methods in workflow process description, such as activity net based modeling method, formal expression based modeling method, dialog model based modeling method etc.Because Petri_net theoretics was extensively accepted, bringing up a workflow model strictly accord with Petri_net will be a significant thing. Aalst said, it could be forecasted that all of the WfMS would be based on Petri_net based workflow models. So this thesis is about workflow mathematics modeling based on Petrinet. At the base of systematical analyzing the practical business process, the author carefully thought over two questions, what Petrinet can do in business process description and weather it can descript business process clearly. This thesis will expatiate the questions. Besides, the primary works and attempts in this thesis are listed as the following:1. At the base of considering every business process could be decomposed into a task set, bringing up a map from process set to the set of task sets.2. Defining subsequence relation > on the task set.3. Base on subsequence relation >, bringing up formalized definition of tasks execution route such as circle route, generalized sequence route, concurrent route and select route. 4. Let Petri_net structure denote t₁>t₂ (t₁, t₂ are tasks), according to definitions, bring up Petri_net structures of circle route, generalized sequence route, concurrent route and select route.5. Bringing up and formalizing the to be solve question of workflow mathematical modeling, and solving it with c_net.