| With the rapid development of computer level, workflow technology also generates,workflow model, workflow management system, and the workflow engine arises at thehistoric moment. But only to analyze single some workflow model is not able to solve somebusiness process exists in the state space explosion problem.Petri net has a strongmathematical theroy foundation which can visually describe business processe.By comparingthese models,we use Petri net to frame business processing model.Which further introducesthe researth of mapping between the two nets and introduces rules and algorithms ofworkflow nets simplification.To further promote the paperless office of oilfield production management, improveefficiency achieve the design of downhole operation network system, we need to make fulluse of the resources of computers and enterprise branch network,This paper is based on thebusiness needs of integrated platform and is based on the workflow which includes the design,review,approval, distribution,query.then,we built the workflow including the constructiondesign subsystem,document approval flow subsystem,querying upload business subsystem,and according to the theoretical basis of workflow nets,we framed business model on Petrinet and the simplified rules verifies the correctness of the structure,reducing unnecessarydevelopment work improves the system operating efficiency. Simp-lification is only provesthe correctness of the established model.According to the dynamic characteristics of thisnetwork selecting another file subsystem frames the model for its reachability tree verifiesreachability graph,proved that the establishment model is bounded,S can be covered.Finally,the paper describes the overall system architecture,and through code-behind toachieve the integration platform,and demonstrate the achievement of the interface.and thesystem has been conduct stress testing.The system applying to the company achieved certaineffects. |
PDF Full Text Request