| In recent years, workflow management technology is widely used and has achieved rapid development, the most important function of workflow management system is workflow modeling, process model must be well reflecting the actual business process. Traditional Petri net modeling of complex systems, due to the state too much can easily lead to state space explosion problem, this paper based on time colored Petri net workflow model, the time colored Petri nets introduced to the workflow system modeling, through the workflow engine achieved the conversion of the workflow model to the time colored Petri net model ,through the state equation and Reachability graph analysis the static and dynamic performance of the time colored petri net, reachability graph may verify the existence of the workflow deadlocks and traps, avoiding workflow overflow, derived the colore definition and the running time formula of multi-task scheduling petri nets, specifically as follows:(1)Power system of security, stability and efficient operation is the dispatcher's main duties. Growing power net model and more complex structure, so that dispatcher faces enormous challenges. The function of power distribution management system is to manage power scheduling, approval process and relevant data and process to generate work tichet. Based on .NET platform, Thesis has finished the design of power distribution management system, given the system B/S three-tier model, the functional model and database overall design.(2)In terms of the approval process, improve the workflow model, and gives the time colored Petri net model of improved model, the actual process analysis of time and color node.(3)In terms of network operation, in-depth analysis rules representation method of dispatcher operation ticket system, study the rule-based reasoning approach based on Petri net model, establish rules information database, through rules information database generates the content and improve the operation system adaptability. |
PDF Full Text Request