【摘要】：為適應(yīng)業(yè)務(wù)流程多功能及動態(tài)變化的需求,用模塊替換的方法對業(yè)務(wù)流程建模是解決問題的快速有效途徑之一.以開放Petri網(wǎng)與微分Petri網(wǎng)為基礎(chǔ),提出了微分控制Petri網(wǎng)和微分?jǐn)?shù)據(jù)Petri網(wǎng)的概念,分別從語義學(xué)角度利用微分Petri網(wǎng)的演化表達(dá)式對模型的控制流網(wǎng)與數(shù)據(jù)流網(wǎng)進行活性檢測,利用微分Petri網(wǎng)對替換模塊及其離散部分與連續(xù)部分進行結(jié)構(gòu)穩(wěn)定性分析,以達(dá)到業(yè)務(wù)流程模塊適配分析.理論分析結(jié)果表明,所建立的微分表達(dá)式能夠反映模型活性與穩(wěn)定性,模塊適配效果較好.最后基于平臺數(shù)據(jù)進行仿真分析,實驗結(jié)果表明本文所提的方法有一定的可行性.
[Abstract]:In order to meet the needs of multifunction and dynamic change of business process, the modeling of business process by module replacement is one of the fast and effective ways to solve the problem. On the basis of open Petri nets and differential Petri nets, the concepts of differential control Petri nets and differential data Petri nets are proposed. From the perspective of semantics, the evolutionary expressions of differential Petri nets are used to detect the activity of the control drift-net and the data flow net of the model, respectively. The structural stability of the replacement module and its discrete part and continuous part are analyzed by differential Petri net in order to achieve the business process module adaptation analysis. The results of theoretical analysis show that the differential expression can reflect the activity and stability of the model, and the module adapts well. Finally, the simulation results based on the platform data show that the proposed method is feasible.
【作者單位】： 安徽理工大學(xué)信息與計算科學(xué)系;同濟大學(xué)計算機系;
【基金】：國家自然科學(xué)基金(No.61572035,No.61272153,No.61402011) 安徽省自然科學(xué)基金(No.1508085MF111,No.1608085QF149) 安徽省高校自然科學(xué)基金重點項目(No.KJ2016A208) 安徽省學(xué)術(shù)和技術(shù)帶頭人資助項目(No.DG119) 安徽省優(yōu)秀青年人才項目
【分類號】：TP301.1

【相似文獻】

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

1 郝克剛,段振華;多出口Petri網(wǎng)與Petri網(wǎng)的等價性[J];計算機學(xué)報;1989年05期

2 ;第八屆全國Petri網(wǎng)學(xué)術(shù)年會征文通知[J];計算機學(xué)報;2001年02期

3 王精明;江怡順;;基于Petri網(wǎng)的非演繹安全模型的分析與驗證[J];滁州學(xué)院學(xué)報;2012年02期

4 王自強;馮博琴;;基于參數(shù)化Petri網(wǎng)的主動數(shù)據(jù)庫的行為研究[J];計算機科學(xué);2003年02期

5 黃金志,胡健生,廖峗,柴仁文;基于Petri網(wǎng)的程序緩沖區(qū)溢出檢測方法[J];計算機應(yīng)用;2005年05期

6 郁ng;李彤;王煒;張坤;;基于Petri網(wǎng)的軟件演化過程[J];計算機應(yīng)用與軟件;2008年10期

7 高瑞敏;許勇;張建飛;;一種基于Petri網(wǎng)的全局可控網(wǎng)絡(luò)的構(gòu)建方案[J];軟件導(dǎo)刊;2012年01期

8 欒文靜;杜玉越;;基于邏輯Petri網(wǎng)的圖書館借閱系統(tǒng)的建模與分析[J];系統(tǒng)仿真學(xué)報;2008年S2期

9 易俗;殷慧文;;基于Petri網(wǎng)的機務(wù)工程管理工作流建模[J];遼寧大學(xué)學(xué)報(自然科學(xué)版);2010年02期

10 陳順益;劉曉輝;;一種Petri網(wǎng)工具軟件[J];計算技術(shù)與自動化;1992年01期

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

1 薛瑜;李承家;呂莉芳;;模糊Petri網(wǎng)與連續(xù)Petri網(wǎng)的關(guān)系[A];第九屆中國不確定系統(tǒng)年會、第五屆中國智能計算大會、第十三屆中國青年信息與管理學(xué)者大會論文集[C];2011年

2 張旭;魏建;熊靜;;基于Petri網(wǎng)的民航旅行代理服務(wù)工作流建模研究[A];2008'中國信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（一）[C];2008年

3 張輝;董榮勝;高西;;一種嵌入式系統(tǒng)擴展流關(guān)系Petri網(wǎng)及應(yīng)用[A];廣西計算機學(xué)會2007年年會論文集[C];2007年

4 劉長有;秦瑛;;基于Petri網(wǎng)的機場航班流量優(yōu)化調(diào)度[A];2006中國控制與決策學(xué)術(shù)年會論文集[C];2006年

5 呂莉芳;李承家;薛瑜;;時延離散Petri網(wǎng)的形式分析[A];第九屆中國不確定系統(tǒng)年會、第五屆中國智能計算大會、第十三屆中國青年信息與管理學(xué)者大會論文集[C];2011年

6 桂志波;周德民;鄭應(yīng)平;;一種加時變遷Petri網(wǎng)的形式化描述與分析[A];1997中國控制與決策學(xué)術(shù)年會論文集[C];1997年

7 王志堅;蔡自興;;基于Petri網(wǎng)的企業(yè)信息化系統(tǒng)統(tǒng)一建模研究[A];第二十六屆中國控制會議論文集[C];2007年

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

1 郭金維;基于函數(shù)配置的柔性制造系統(tǒng)Petri網(wǎng)控制器設(shè)計[D];西安電子科技大學(xué);2014年

2 陽罰軍;基于Petri網(wǎng)的多組合設(shè)備最優(yōu)調(diào)度與控制[D];廣東工業(yè)大學(xué);2016年

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

4 吳維敏;離散事件系統(tǒng)的Petri網(wǎng)控制器綜合[D];浙江大學(xué);2002年

5 岳昊;基于混合Petri網(wǎng)的城市道路交通網(wǎng)絡(luò)建模與仿真[D];山東科技大學(xué);2009年

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

1 張?zhí)O;基于Petri網(wǎng)的肉牛質(zhì)量追溯SaaS應(yīng)用研發(fā)[D];西北農(nóng)林科技大學(xué);2015年

2 張舍予;基于Petri網(wǎng)的多品種小批量生產(chǎn)企業(yè)生產(chǎn)流程建模研究[D];哈爾濱工業(yè)大學(xué);2015年

3 黃鵬;基于Petri網(wǎng)的熱源追蹤控制方法研究[D];新疆大學(xué);2015年

4 徐佳東;基于Petri網(wǎng)的原油調(diào)度問題研究[D];浙江大學(xué);2014年

5 化佩;基于Petri網(wǎng)及事件日志的過程挖掘方法研究[D];安徽理工大學(xué);2016年

6 程海濤;模糊時空知識的本體表示與基于Petri網(wǎng)的構(gòu)建方法研究[D];東北大學(xué);2013年

7 李巍;基于Petri網(wǎng)的工作流建模方法與應(yīng)用研究[D];大連海事大學(xué);2008年

8 周彥;基于Petri網(wǎng)分解技術(shù)的電網(wǎng)故障診斷建模技術(shù)研究[D];長沙理工大學(xué);2012年

9 張金玲;基于Petri網(wǎng)的乳制品冷鏈運作效率仿真研究[D];哈爾濱工業(yè)大學(xué);2013年

10 楊偉;基于Petri網(wǎng)的蟻群算法在混流制造生產(chǎn)調(diào)度中的研究[D];廣東工業(yè)大學(xué);2014年

，

本文編號：2207042