【摘要】：工作流技術作為實現(xiàn)過程集成管理的有效手段,廣泛應用于各種場合,Petri網(wǎng)是一種適合于描述異步并發(fā)現(xiàn)象的系統(tǒng)模型,它既有嚴格的數(shù)學定義,又有直觀的圖形表示,該文簡要介紹了工作流、工作流模型以及Petri網(wǎng)的理論,然后對研究生培養(yǎng)過程進行了基于Petri網(wǎng)的模型設計,并對模型進行了化簡和合理性證明,結果表明,利用Petri網(wǎng)能夠對研究生培養(yǎng)過程進行建模和優(yōu)化設計。
[Abstract]:Workflow technology, as an effective means to realize process integration management, is widely used in various occasions. Petri net is a system model suitable for describing asynchronous concurrency. It has both strict mathematical definition and intuitive graphic representation. This paper briefly introduces workflow, workflow model and the theory of Petri net, then designs the model based on Petri net for graduate student training process, and simplifies and proves the model. The results show that, Petri net can be used to model and optimize the training process of graduate students.
【作者單位】： 合肥工業(yè)大學計算機與信息學院;
【基金】：合肥工業(yè)大學科學研究發(fā)展基金資助項目(070503F)
【分類號】：G643;TP399-C1

【參考文獻】

相關期刊論文 前3條

1 孫召龍;;基于Petri網(wǎng)的人才評價工作流模型[J];科學技術與工程;2006年03期

2 楊雯;劉厚泉;;基于Petri網(wǎng)的工作流模型的研究[J];計算機工程與設計;2007年17期

3 李建強,范玉順;基于Petri網(wǎng)化簡方法的工作流模型驗證[J];信息與控制;2001年06期

【共引文獻】

相關期刊論文 前10條

1 方冉;陳乃金;;基于S3C44B0X處理器觸摸屏接口的設計與測試[J];安徽工程科技學院學報(自然科學版);2010年02期

2 王娜;羅小明;;基于模糊Petri網(wǎng)的推理算法在C~4ISR系統(tǒng)效能評估中的應用[J];兵工自動化;2008年05期

3 宋朝河;戴羽;;基于面向對象Petri網(wǎng)的偵察配系評估模型[J];兵工自動化;2009年04期

4 劉學程;張乾;蔡強;王駿;陳煜;;基于CPN的維修保障資源配置建模與仿真方法[J];兵工自動化;2009年09期

5 黃東坡;曹繼平;宋建社;楊檬;;基于Petri網(wǎng)的虛擬維修過程建模[J];兵工自動化;2011年01期

6 徐春香;屈婉玲;王捍貧;朱梅霞;;死路刪除語義下的WS-BPEL流程的建模[J];北京大學學報(自然科學版);2010年02期

7 羅杰;段建民;陳建新;;MAS行為協(xié)進化Petri網(wǎng)模型構建[J];北京工業(yè)大學學報;2008年07期

8 郭峰;姚淑珍;;基于Petri網(wǎng)的UML狀態(tài)圖的形式化模型[J];北京航空航天大學學報;2007年02期

9 馬鋒;邱菀華;;高空模擬試驗應急管理的Petri網(wǎng)建模及應用[J];北京航空航天大學學報;2010年10期

10 李輝;張振華;;基于Petri網(wǎng)的電子運維系統(tǒng)工作流建模[J];北京化工大學學報(自然科學版);2009年S1期

相關會議論文 前10條

1 阿孜古麗;劉建明;劉潔卉;;基于Petri網(wǎng)的業(yè)務流程評估[A];著力提高高等教育質量，努力增強高校創(chuàng)新與服務能力——北京市高等教育學會2007年學術年會論文集（下冊）[C];2008年

2 葛丹;鄭會頌;姚國章;;應急管理工作流模型的研究[A];節(jié)能環(huán)保 和諧發(fā)展——2007中國科協(xié)年會論文集（一）[C];2007年

3 魯志兵;胡金柱;胡燕;焦金丹;舒江波;;門戶網(wǎng)自助系統(tǒng)的擴展有色Petri網(wǎng)建模與分析[A];2006年全國開放式分布與并行計算機學術會議論文集（三）[C];2006年

4 王小梅;朱詩兵;王新波;;軍事航天信息網(wǎng)絡的Petri網(wǎng)建模與分析[A];2008通信理論與技術新進展——第十三屆全國青年通信學術會議論文集（上）[C];2008年

5 童朝南;李寶峰;;電梯群控系統(tǒng)的Petri網(wǎng)建模與分析[A];冶金企業(yè)自動化、信息化與創(chuàng)新——全國冶金自動化信息網(wǎng)建網(wǎng)30周年論文集[C];2007年

6 丁峰;陸陽;程運安;;汽車車身控制系統(tǒng)的規(guī)則化描述和Petri網(wǎng)建模研究[A];第六屆全國信息獲取與處理學術會議論文集（3）[C];2008年

7 楊鵬;袁占亭;王繼曾;;基于廣義隨機Petri網(wǎng)的SIP的時延分析[A];第三屆全國虛擬儀器大會論文集[C];2008年

8 李武勝;張琦;王秋平;;基于GSPN的城市區(qū)域交通控制評價優(yōu)化模型研究[A];2008第四屆中國智能交通年會論文集[C];2008年

9 彭艾;黃嵐;王忠義;王成;毛南;劉志存;;無線傳感器網(wǎng)絡路由協(xié)議改進方案的初步研究[A];“第一屆國際計算機及計算技術在農(nóng)業(yè)中的應用研討會”暨“第一屆中國農(nóng)村信息化發(fā)展論壇”論文集[C];2007年

10 高德平;周國祥;;基于著色Petri網(wǎng)的工作流模型的研究與應用[A];全國第20屆計算機技術與應用學術會議(CACIS·2009)暨全國第1屆安全關鍵技術與應用學術會議論文集（下冊）[C];2009年

相關博士學位論文 前10條

1 周航;基于質量有色Petri網(wǎng)的Web組合服務建模與沖突、沖撞研究[D];南京航空航天大學;2009年

2 唐小衛(wèi);協(xié)同決策機制下航空運輸系統(tǒng)不正常航班問題研究[D];南京航空航天大學;2009年

3 羅樂;面向設計主體的產(chǎn)品開發(fā)過程建模及仿真[D];重慶大學;2010年

4 董存祥;應急事件處置流程建模及其過程協(xié)同研究[D];天津大學;2010年

5 張鎮(zhèn);面向迎賓機器人組件化系統(tǒng)的建模與控制研究[D];上海交通大學;2011年

6 顏學雄;Web服務訪問控制機制研究[D];解放軍信息工程大學;2008年

7 張世超;Norm支持的虛擬組織關鍵技術研究[D];復旦大學;2005年

8 陳榮;面向網(wǎng)格計算的按需入侵檢測模型及關鍵技術研究[D];浙江大學;2005年

9 肖鄭進;面向企業(yè)應用的工作流精簡建模研究[D];浙江大學;2006年

10 李景霞;基于擴展顏色Petri網(wǎng)的Web服務組合建模研究[D];中國科學院研究生院（計算技術研究所）;2006年

相關碩士學位論文 前10條

1 劉炎培;基于擴展OOPN業(yè)務流程建模及異常處理模型研究[D];南昌航空大學;2010年

2 楊磊;基于面向對象Petri網(wǎng)的企業(yè)間工作流建模研究[D];山東科技大學;2010年

3 李蕾;有色Petri網(wǎng)的動態(tài)性質判定及其在組裝生產(chǎn)線中的應用[D];山東科技大學;2010年

4 孫海春;C_net到可編譯表達式的映射方法[D];山東科技大學;2010年

5 王廷剛;Petri網(wǎng)表征語言和可達性分析[D];山東科技大學;2010年

6 呂楠;基于層次顏色Petri網(wǎng)的協(xié)同工作流的建模與分析[D];山東科技大學;2010年

7 林紅昌;基于UML的軟件系統(tǒng)的功能性驗證和非功能性度量[D];浙江理工大學;2010年

8 梁永會;面向網(wǎng)格服務的SWAT模型集成體系研究[D];鄭州大學;2010年

9 李建民;AUV水下回收預測與協(xié)調控制技術研究[D];哈爾濱工程大學;2010年

10 趙寶平;工作流的建模與驗證[D];大連理工大學;2010年

【二級參考文獻】

相關期刊論文 前3條

1 周建濤,史美林,葉新銘;工作流過程建模中的形式化驗證技術[J];計算機研究與發(fā)展;2005年01期

2 杜淑楠,章寧,王魯濱;工作流模型正確性驗證過程中的模型簡化問題[J];計算機工程;2005年S1期

3 曹化工,楊曼紅;基于對象Petri網(wǎng)的工作流過程定義[J];計算機輔助設計與圖形學學報;2001年01期

【相似文獻】

相關期刊論文 前10條

1 陳志明;Petri網(wǎng)在電信業(yè)務過程建模中的應用[J];北京郵電大學學報(社會科學版);2003年02期

2 鐘誠;羅小鳳;;基于Petri的電子政務系統(tǒng)應用研究[J];福建教育學院學報;2007年04期

3 王海順,吳鵬;工作流性能評價方法[J];安陽師范學院學報;2005年02期

4 劉培林;譚一軍;;基于Petri網(wǎng)的工作流模型設計與實現(xiàn)[J];武漢職業(yè)技術學院學報;2007年03期

5 胡新顏;李莉娜;;基于Petri網(wǎng)的過程控制創(chuàng)新型實驗教學工作流模型探討[J];中國電力教育;2011年11期

6 開立功;基于Petri網(wǎng)的工作流模型設計[J];肇慶學院學報;2005年02期

7 宋汝良,李長樹;基于擴展Petri網(wǎng)的工作流模型及實現(xiàn)[J];教育信息化;2000年06期

8 王路;;用換元法化簡二次根式[J];中學生數(shù)學;2002年06期

9 吳健;;《整式的運算》綜合試題[J];數(shù)學大世界(初中生數(shù)學輔導版);2009年03期

10 林春杰;郭洪濤;;基于Petri網(wǎng)的輕量級工作流引擎研究[J];洛陽師范學院學報;2009年02期

相關會議論文 前10條

1 黃瑾;郭東強;;基于Petri網(wǎng)的協(xié)同工作流描述方法及建模[A];信息經(jīng)濟學與電子商務：第十三屆中國信息經(jīng)濟學會學術年會論文集[C];2008年

2 王志堅;蔡自興;;基于Petri網(wǎng)的制造系統(tǒng)建模與分析[A];面向制造業(yè)的自動化與信息化技術創(chuàng)新設計的基礎技術——2001年中國機械工程學會年會暨第九屆全國特種加工學術年會論文集[C];2001年

3 石旦;廖聞劍;彭艷兵;;增值業(yè)務中基于Petri網(wǎng)的工作流模型的設計和實現(xiàn)[A];2008通信理論與技術新發(fā)展——第十三屆全國青年通信學術會議論文集（下）[C];2008年

4 趙彩霞;高學東;喬衛(wèi)義;;基于Petri網(wǎng)的工作流建模技術在社會保險系統(tǒng)中的應用[A];全國第八屆工業(yè)工程與企業(yè)信息化學術會議論文集[C];2004年

5 張朝輝;劉大有;劉偉江;;工作流建模技術綜述[A];2008年全國開放式分布與并行計算機學術會議論文集(下冊)[C];2008年

6 尹章才;李霖;;基于Petri網(wǎng)的時空拓撲關系研究[A];中國地理信息系統(tǒng)協(xié)會第八屆年會論文集[C];2004年

7 楊亞偉;朱濤;;基于工作流技術的鐵路運輸調度系統(tǒng)的設計方法[A];快速提升鐵路建設與裝備現(xiàn)代化技術促進鐵路跨越式發(fā)展——中國科協(xié)第五屆青年學術年會第九分會場論文集[C];2004年

8 溫海英;孫波;;基于Petri網(wǎng)的自適應工作流模型的研究[A];圖像圖形技術與應用進展——第三屆圖像圖形技術與應用學術會議論文集[C];2008年

9 王波;曹耀欽;宋恒辛;;基于Petri網(wǎng)的工作流過程建模研究[A];中國電子學會第十六屆信息論學術年會論文集[C];2009年

10 徐光輝;徐志軍;;C/E系統(tǒng)Petri網(wǎng)的VHDL建模與仿真[A];開創(chuàng)新世紀的通信技術——第七屆全國青年通信學術會議論文集[C];2001年

相關重要報紙文章 前10條

1 柏林　本報記者 陳鵬;天維科技：用科技化簡生活[N];大連日報;2011年

2 廣東省電信科學技術研究院多媒體部 張宇飛 盧燕青;實時系統(tǒng)軟件分析和設計方法綜述[N];中國計算機報;2000年

3 淮安市地方稅務局信息管理處 王中明 許金國;人機結合 建設現(xiàn)代化地稅[N];中國計算機報;2006年

4 蔣明煒、戴寶純、吳英;工作流管理與ERP的應用[N];中國計算機報;2003年

5 何吟;“行業(yè)”標簽讓SunFlow更醒目[N];計算機世界;2004年

6 朱靜芬;新一代ERP的特點[N];財會信報;2007年

7 山西焦煤集團駐深圳辦事處 劉鵬;基于企業(yè)過程建模的工作流管理系統(tǒng)研究[N];山西科技報;2002年

8 本報記者 諶力;從核心競爭力看整合的實施[N];網(wǎng)絡世界;2004年

9 武漢光華學校初中部 湖仲文;初三數(shù)學三輪復習法[N];湖北科技報;2001年

10 ;信息資源管理需要專業(yè)工具[N];中國計算機報;2004年

相關博士學位論文 前10條

1 肖鄭進;面向企業(yè)應用的工作流精簡建模研究[D];浙江大學;2006年

2 劉皓瑋;行車指揮系統(tǒng)的Petri網(wǎng)建模與列車運行調整的遺傳優(yōu)化的研究[D];鐵道部科學研究院;2000年

3 羅鵬程;基于Petri網(wǎng)的系統(tǒng)安全性建模與分析技術研究[D];國防科學技術大學;2001年

4 董利達;基于序狀Petri網(wǎng)的離散事件系統(tǒng)監(jiān)控理論[D];浙江大學;2004年

5 王斌君;工作流過程模型的層次研究及其分析[D];西北大學;2002年

6 李嘉菲;基于工作流的業(yè)務過程管理關鍵技術研究[D];吉林大學;2007年

7 薛雷;基于Petri網(wǎng)的集成電路柔性制造系統(tǒng)建模、分析及調度[D];西安電子科技大學;2001年

8 周榮輔;基于先進制造技術的制造業(yè)生產(chǎn)流程再造研究[D];燕山大學;2007年

9 王占中;基于Petri網(wǎng)的多式聯(lián)運流程優(yōu)化研究[D];吉林大學;2007年

10 何豐;語義Web服務組合若干關鍵技術研究[D];東華大學;2008年

相關碩士學位論文 前10條

1 龔睿;面向Web服務的工作流模型在政務協(xié)同服務中的應用[D];湖南大學;2005年

2 蔣鵬花;基于擴展Petri網(wǎng)的工作流模型技術的研究[D];燕山大學;2007年

3 夏曉東;基于Web和CORBA的工作流系統(tǒng)的研究[D];華北電力大學（河北）;2004年

4 張洋;基于工作流的業(yè)務過程管理系統(tǒng)的設計開發(fā)[D];電子科技大學;2008年

5 張志偉;基于Petri網(wǎng)的工作流系統(tǒng)建模及實現(xiàn)[D];長沙理工大學;2007年

6 劉軍;基于領域組件的教務管理信息系統(tǒng)研究與設計[D];南華大學;2006年

7 王通;JBPM到Petri nets的模型轉化分析研究[D];天津大學;2006年

8 李玲琳;一種改進的工作流模型的研究與實現(xiàn)[D];中南大學;2006年

9 陳志濤;基于Petri網(wǎng)的工作流建模及其工具的研究與實現(xiàn)[D];華南師范大學;2005年

10 張懷;可擴展工作流框架的研究與實現(xiàn)[D];天津大學;2007年

，

本文編號：2474830