資源描述：
《工作流petri網(wǎng)模型建模與分析評價方法研究》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、華中科技大學(xué)碩士學(xué)位論文工作流Petri網(wǎng)模型建模與分析評價方法研究姓名：萬和平申請學(xué)位級別：碩士專業(yè)：控制理論與控制工程指導(dǎo)教師：王明哲20050512摘要工作流管理是一個被業(yè)界廣泛應(yīng)用并迅速發(fā)展的技術(shù)而工作流建模是工作流技術(shù)研究的基礎(chǔ)本文主要是基于Petri理論對工作流建模方法和模型的分析評價方法進行研究與探索文章首先從工作流管理聯(lián)盟定義的元模型概念出發(fā)抽象出企業(yè)工作流模型的視圖組成組織視圖資源視圖過程視圖和信息視圖基于此并結(jié)合Petri網(wǎng)知識提出了一種一般性的工作流Petri網(wǎng)建模方法當中詳細地闡述了如何基于Petri網(wǎng)進行模型的定義模型的執(zhí)行以及
2、模型的分析并在最后給出了利用Petri網(wǎng)創(chuàng)建工作流模型的具體流程本文同時分析并闡述了層次工作流Petri網(wǎng)建模方法的關(guān)鍵概念給出了利用此方法進行復(fù)雜工作流建模的解決辦法完成了層次工作流Petri網(wǎng)模型主要性質(zhì)的驗證并基于此方法中的區(qū)的概念與定義給出了工作流模型動態(tài)變化問題的解決方案本文還提出了基于可達樹的分析方法用于簡單工作流Petri網(wǎng)模型正確性的驗證同時利用四種Petri簡化規(guī)則完成了對層次工作流Petri網(wǎng)模型的正確性驗證另外還給出了模型的時間性能和資源利用性能用于對業(yè)務(wù)過程的評價為了支持對工作流Petri網(wǎng)建模與分析評價方法的研究本文給出了工作流
3、Petri網(wǎng)建模工具軟件-VisualPN的設(shè)計方案文章最后以一個實例對文中提出的方法進行了論證和檢驗并對系統(tǒng)模型仿真結(jié)果進行了分析關(guān)鍵詞工作流建模Petri網(wǎng)層次建模動態(tài)工作流正確性分析性能評價IIAbstractWorkflowManagementiswidelyusedinmanyapplicationareas.Modelingisthebasetopicofworkflowresearch.Thethesismainlystudiesamethodologyforconstructingaworkflowmodelandanalyzingmet
4、hodsofworkflowmodel.Thethesisstudiesmeta-modelofworkflow,analyzesfourmajorperspectives(i.e.,views)thatlogicallycombinetodescribeaworkflowmodel.Theseareorganizationalview,resourceview,processviewandinformationview.ThenamethodologyabouthowtousePetriNetstodefineandexecuteworkflowmod
5、elbasedonthefourviewsispresented.AhierarchicalPetrinet-basedapproachforcomplicatedworkflowmodeldesignandassociatedrulesaredescribed.Conceptofregionisdiscussedanddynamicworkflowmodelingisanalyzedwiththedefinitionofregions.FromverificationofsoundnessandperformanceevaluationthePetri
6、net-basedworkflowmodelisanalyzed.InordertoverifythesoundnessofsimplePetrinet-workflowmodel,anarithmeticbasedonreachabletreeisgiven.ByfourPetrireductionrules,soundnessofhierarchicalworkflowmodelisprovedtoo.Timeperformanceandutilizedresourceperformanceareanalyzedbyusingsimulationme
7、thodsothatbusinessprocesscanbeimprovedandoptimized.Inaddition,thedesignoftheworkflowmodelingtoolnamedVisualPNisdescribed.Attheendofthispaper,aPetrinet-basedworkflowmodelforarealbusinessprocessisconstructedandanalyzedundertheabove-mentionedmethods.KeyWords:WorkflowModelingPetriNet
8、sHierarchicalModelDynamicWorkflowSoundne
