本文關(guān)鍵詞：一種基于邏輯Petri網(wǎng)的過程挖掘方法

  更多相關(guān)文章： 過程挖掘 Petri網(wǎng) 邏輯Petri網(wǎng) 邏輯變遷 挖掘算法

【摘要】：邏輯Petri網(wǎng)是抑制弧Petri網(wǎng)和高級(jí)Petri網(wǎng)的抽象和擴(kuò)展,可在過程挖掘中簡(jiǎn)潔準(zhǔn)確的表示活動(dòng)之間復(fù)雜的業(yè)務(wù)邏輯關(guān)系.本文在傳統(tǒng)Petri網(wǎng)挖掘方法的基礎(chǔ)上,為了進(jìn)一步提高復(fù)雜系統(tǒng)挖掘模型的簡(jiǎn)潔度和擬合度,尤其是對(duì)并行活動(dòng)間存在復(fù)雜與或關(guān)系的系統(tǒng),提出了一種基于邏輯Petri網(wǎng)的過程挖掘方法,并給出了邏輯Petri網(wǎng)中邏輯變遷的挖掘算法.它可以充分挖掘活動(dòng)之間的業(yè)務(wù)邏輯,并且業(yè)務(wù)邏輯可用邏輯表達(dá)式表示.通過與相應(yīng)Petri網(wǎng)模型的實(shí)例比較分析,例證了本文方法的正確性和有效性,且邏輯Petri網(wǎng)模型更加適合日志行為.
【作者單位】： 山東科技大學(xué)山東省智慧礦山信息技術(shù)重點(diǎn)省級(jí)實(shí)驗(yàn)室;
【關(guān)鍵詞】： 過程挖掘 Petri網(wǎng) 邏輯Petri網(wǎng) 邏輯變遷 挖掘算法
【基金】：國(guó)家自然科學(xué)基金(No.61170078,No.61472228) 山東省泰山學(xué)者建設(shè)工程專項(xiàng)經(jīng)費(fèi) 山東省自然科學(xué)基金(No.ZR2014FM009) 青島市科技計(jì)劃基礎(chǔ)研究項(xiàng)目(No.13-1-4-116-jch) 山東省優(yōu)秀中青年科學(xué)家科研獎(jiǎng)勵(lì)基金(No.BS2015DX010)
【分類號(hào)】：TP301.1
【正文快照】： 1引言 過程挖掘通過挖掘?qū)嶋H的日志信息,發(fā)現(xiàn)并改進(jìn)現(xiàn)實(shí)的模型[1],主要包括過程發(fā)掘、一致性檢測(cè)和過程改進(jìn).在過程挖掘研究中,由于Petri網(wǎng)[2]描述和分析并發(fā)事件的優(yōu)越性,許多研究都以Petri網(wǎng)作為描述過程的工具.α算法[3]是根據(jù)活動(dòng)的順序關(guān)系進(jìn)行過程挖掘,當(dāng)模型中不包括

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

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

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

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

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

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

6 郁ng;李彤;王煒;張坤;;基于Petri網(wǎng)的軟件演化過程[J];計(jì)算機(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é)報(bào);2008年S2期

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

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

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前7條

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

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

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

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

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

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

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

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前4條

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

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

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

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

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

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

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

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

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

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

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

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

8 張其亮;基于Petri網(wǎng)的工作流引擎的研究與設(shè)計(jì)[D];太原理工大學(xué);2006年

9 田維新;基于Petri網(wǎng)的離散事件系統(tǒng)仿真模型及其應(yīng)用研究[D];華中科技大學(xué);2006年

10 崔玉爽;基于時(shí)間Petri網(wǎng)與智能優(yōu)化算法相結(jié)合的任務(wù)調(diào)度研究[D];長(zhǎng)沙理工大學(xué);2011年

，

本文編號(hào)：583690