基于著色Petri網的科研工作流系統(tǒng)的研究與應用.pdf

1、4卷導／4／＼一UDC：學校代號：11845學號：2111105012廣東工業(yè)大學碩士學位論文(工學碩士)基于著色Petri網的科研工作流系統(tǒng)的研究與應用陳丹指導教師姓名、職稱：王勇塾援學科(專業(yè))或領域名稱：詿篁扭廑旦堇苤學生所屬學院：過篁扭堂醫(yī)論文答辯日期：三Q二四生五旦摘要摘要隨著人們對業(yè)務流程管理的可靠性和正確性要求的提高，科研管理工作流已經成為科研機構實現業(yè)務過程自動化的核心技術。建立工作流模型是實現工作流技術的關鍵環(huán)節(jié)，模型

2、的優(yōu)劣直接關系到后續(xù)工作管理系統(tǒng)的性能高低和合理性問題。針對動物實驗科研管理流程中的手工和紙制化辦公的現狀，本文采用著色Petri網(CPN)來構建動物實驗科研管理流程模型，并對模型進行了合理性和正確性分析與驗證，為評估系統(tǒng)的可行性提供理論支持。本文對動物實驗科研管理系統(tǒng)進行了需求分析，通過定義動物實驗資源的顏色集來設計庫所和托肯；根據動物實驗流程的狀態(tài)變化情況來設計變遷；利用動物實驗活動的執(zhí)行行為規(guī)則來設計弧結構；采用自上而下或者自下

3、而上的替代變遷方法逐步構建動物實驗科研管理各個業(yè)務子流程。遵循以上著色Petri網建模步驟，構建了四個動物實驗管理流程模型，分別是動物實驗整體工作流模型，動物訂購子模型、實驗訂單子模型和實驗評審子模型。在上述模型的基礎上，使用CPNTOOLS分析工具對模型的有界性、家態(tài)、活性和公平性進行了狀態(tài)空間分析，完成對動物實驗管理流程模型的正確性驗證。然后基于工作流網的合理性原理，分別設計基本結構、循環(huán)結構、順序結構和并行結構四種結構作為基本工作

4、流構造塊，分步實現了動物實驗科研管理流程模型的合理性分析。并對其中的動物訂購流程做了詳細的闡述：首先，簡化動物訂購流程去除模型的顏色集、弧函數等信息。其次，設計具有合理性的幾種基本工作流構造塊。最后，運用已設計完成的工作流構造塊來分步組合構建動物訂購流程。如果通過多次反復替換基本構造塊中的變遷結構，可以構造完成動物訂購流程，則認為該模型是具有合理性的。在確認四個動物實驗管理流程模型具有正確性與合理性之后，本文采用了JBPM工作流引擎技術