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

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

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

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

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