【摘要】：工作流技術(shù)作為實(shí)現(xiàn)過程集成管理的有效手段,廣泛應(yīng)用于各種場合,Petri網(wǎng)是一種適合于描述異步并發(fā)現(xiàn)象的系統(tǒng)模型,它既有嚴(yán)格的數(shù)學(xué)定義,又有直觀的圖形表示,該文簡要介紹了工作流、工作流模型以及Petri網(wǎng)的理論,然后對研究生培養(yǎng)過程進(jìn)行了基于Petri網(wǎng)的模型設(shè)計,并對模型進(jìn)行了化簡和合理性證明,結(jié)果表明,利用Petri網(wǎng)能夠?qū)ρ芯可囵B(yǎng)過程進(jìn)行建模和優(yōu)化設(shè)計。
[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è)大學(xué)計算機(jī)與信息學(xué)院;
【基金】：合肥工業(yè)大學(xué)科學(xué)研究發(fā)展基金資助項(xiàng)目(070503F)
【分類號】：G643;TP399-C1

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

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

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

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

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

相關(guān)會議論文 前10條

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

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

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

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

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

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

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

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

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

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

相關(guān)博士學(xué)位論文 前10條

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

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

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

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

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

6 顏學(xué)雄;Web服務(wù)訪問控制機(jī)制研究[D];解放軍信息工程大學(xué);2008年

7 張世超;Norm支持的虛擬組織關(guān)鍵技術(shù)研究[D];復(fù)旦大學(xué);2005年

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

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

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

相關(guān)碩士學(xué)位論文 前10條

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

2 楊磊;基于面向?qū)ο驪etri網(wǎng)的企業(yè)間工作流建模研究[D];山東科技大學(xué);2010年

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

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

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

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

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

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

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

10 趙寶平;工作流的建模與驗(yàn)證[D];大連理工大學(xué);2010年

【二級參考文獻(xiàn)】

相關(guān)期刊論文 前3條

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

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

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

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

相關(guān)會議論文 前10條

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

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

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

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

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

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

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

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

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

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

相關(guān)重要報紙文章 前10條

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

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

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

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

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

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

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

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

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

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

相關(guān)博士學(xué)位論文 前10條

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

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

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

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

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

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

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

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

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

10 何豐;語義Web服務(wù)組合若干關(guān)鍵技術(shù)研究[D];東華大學(xué);2008年

相關(guān)碩士學(xué)位論文 前10條

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

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

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

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

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

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

7 王通;JBPM到Petri nets的模型轉(zhuǎn)化分析研究[D];天津大學(xué);2006年

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

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

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

，

本文編號：2474830