資源描述:
《基于petri網(wǎng)的自動(dòng)取款機(jī)流程模型優(yōu)化》由會(huì)員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在應(yīng)用文檔-天天文庫(kù)。
1、赤峰學(xué)院學(xué)報(bào)(自然科學(xué)版)2017,20(33),18-20基于Petri網(wǎng)的自動(dòng)取款機(jī)流程模型優(yōu)化李娟王麗麗劉祥偉安徽理工大學(xué)數(shù)學(xué)與大數(shù)據(jù)學(xué)院導(dǎo)出/參考文獻(xiàn)已關(guān)注關(guān)注X關(guān)注成功!加關(guān)注后您將方便地在我的關(guān)注中得到本文獻(xiàn)的被引頻次變化的通知!分享·新浪微博·騰訊微博·人人網(wǎng)·開(kāi)心網(wǎng)·豆瓣網(wǎng)·網(wǎng)易微博收藏打印摘????要:自動(dòng)取款機(jī)(ATM)是由計(jì)算機(jī)控制的持卡人自我服務(wù)的金融專(zhuān)用設(shè)備,它可以提供基本的銀行服務(wù),是銀行業(yè)務(wù)過(guò)程中十分重要且必備的環(huán)節(jié)之一.在銀行業(yè)務(wù)流程中起著承上啟下的作用.本文提出了基于Petri網(wǎng)的自動(dòng)取款機(jī)工作流程模型優(yōu)化
2、方法,通過(guò)分析流程模型中各項(xiàng)活動(dòng)間的相互關(guān)系,查找存在的問(wèn)題,在保證流程合理的情況下,通過(guò)增加相關(guān)的控制結(jié)構(gòu)對(duì)其進(jìn)行優(yōu)化.關(guān)鍵詞:Petri網(wǎng);行為輪廓;流程模型;模型優(yōu)化;收稿日期:2017-05-22基金:國(guó)家自然科學(xué)基金項(xiàng)目:基于行為Petri網(wǎng)的業(yè)務(wù)系統(tǒng)變化域分析方法及應(yīng)用研究()Received:2017-05-221引言Petri網(wǎng)能夠清晰的描述系統(tǒng)的結(jié)構(gòu),并且能通過(guò)圖形來(lái)直觀的表示Petri網(wǎng)模型,能夠?qū)⑾到y(tǒng)運(yùn)行的過(guò)程模擬出來(lái),還能夠表示出系統(tǒng)中的關(guān)系,如并發(fā)、沖突、共享等.而且Petri網(wǎng)還能分析系統(tǒng)各種結(jié)構(gòu)性質(zhì)和各種動(dòng)態(tài)性
3、質(zhì).所以,Petri網(wǎng)是建立多種具有抽象層次的“網(wǎng)狀”系統(tǒng)模型的重要工具.作為一種系統(tǒng)模型,Petri網(wǎng)不僅可以刻畫(huà)系統(tǒng)結(jié)構(gòu),而且可以描述系統(tǒng)的動(dòng)態(tài)行為(如系統(tǒng)的狀態(tài)變化等),又可以引入許多數(shù)學(xué)方法對(duì)其性質(zhì)結(jié)構(gòu)進(jìn)行分析.對(duì)于復(fù)雜的系統(tǒng),Petri網(wǎng)可以對(duì)其進(jìn)行分層描述.目前針對(duì)業(yè)務(wù)流程建模和優(yōu)化的方法主要有:文獻(xiàn)[1]運(yùn)用Petri網(wǎng)的相關(guān)知識(shí)構(gòu)建流程模型,能夠直觀清晰表現(xiàn)出業(yè)務(wù)流程的邏輯性和有序性.文獻(xiàn)[2]提出了將兩個(gè)業(yè)務(wù)流程模型事物的驅(qū)動(dòng)關(guān)系合并成一個(gè)單一的過(guò)程模型,并將模型優(yōu)化,此分析方法可以被應(yīng)用于分析技術(shù)和過(guò)程挖掘中.文獻(xiàn)[3]
4、使用當(dāng)前資源的Petri網(wǎng)模型(ROPN),通過(guò)揭示壞標(biāo)識(shí)和一個(gè)ROPN的結(jié)構(gòu)性之間的關(guān)系,呈現(xiàn)出一個(gè)可以通過(guò)簡(jiǎn)單的計(jì)算來(lái)獲得一個(gè)死鎖防止控制器方法.目前,有不少文章應(yīng)用Petri網(wǎng)的知識(shí)建模、分析發(fā)現(xiàn)存在的問(wèn)題并優(yōu)化,將原有的業(yè)務(wù)流程更加完善.如文獻(xiàn)[4]以優(yōu)化支付模型使購(gòu)物最大利益化為目的提出了基于Petri網(wǎng)購(gòu)物支付流程模型優(yōu)化分析方法.文獻(xiàn)[5]采用OML對(duì)ATM自動(dòng)取款機(jī)進(jìn)行建模后參照一定的映像規(guī)則將OML模型轉(zhuǎn)換為Petri網(wǎng)模型,該模型雖然運(yùn)用Petri網(wǎng)對(duì)ATM自動(dòng)取款機(jī)進(jìn)行建模但是沒(méi)有針對(duì)ATM自動(dòng)取款機(jī)存在的問(wèn)題給出優(yōu)化
5、,本文首先對(duì)ATM自動(dòng)取款機(jī)運(yùn)用Petri網(wǎng)語(yǔ)義、語(yǔ)法和建模標(biāo)準(zhǔn)進(jìn)行建模,并對(duì)ATM自動(dòng)取款機(jī)交易結(jié)束未拔銀行卡可能造成的潛在問(wèn)題進(jìn)行優(yōu)化,完善了ATM自動(dòng)取款機(jī)業(yè)務(wù)流程,為人們的生活提供了方便.本文運(yùn)用Petri網(wǎng)對(duì)自動(dòng)取款機(jī)的業(yè)務(wù)流程進(jìn)行建模,為了有效、便捷的幫助顧客降低交易結(jié)束未拔銀行卡造成的利益損失,在Petri網(wǎng)的基礎(chǔ)上構(gòu)建自動(dòng)取款機(jī)業(yè)務(wù)流程模型,結(jié)合Petri自動(dòng)取款機(jī)業(yè)務(wù)流程模型中直觀的圖形表示,及豐富的系統(tǒng)描述手段和系統(tǒng)行為分析技術(shù),我們可以有效的研究并提出優(yōu)化方案解決顧客未拔銀行卡產(chǎn)生的利益損失.2基本概念定義1[5](網(wǎng)
6、)滿足下列條件的三元組N-(ST;F)稱(chēng)作一個(gè)網(wǎng):其中定義2[5](變遷發(fā)生規(guī)則)一個(gè)網(wǎng)系統(tǒng)是一個(gè)標(biāo)識(shí)網(wǎng)N-(S,T;F),并具有下面的變遷發(fā)生規(guī)則:(1)若;M(S)≥1則變遷t∈T在標(biāo)識(shí)M下能夠發(fā)生,記做M[t>1;(2)若變遷t在標(biāo)識(shí)M下能夠發(fā)生,且在發(fā)生后得到一個(gè)新的標(biāo)識(shí)M,記做M[t>M',則有定義3[6](有界性)N=(S,T;F,M0)為一個(gè)Petri網(wǎng),s∈S.若存在正整數(shù)B,使得坌M∈R(M0):M(s)≤B,則稱(chēng)庫(kù)所S為有界的,并稱(chēng)滿足此條件的最小正整數(shù)B為庫(kù)所S的界,記為B(s).即當(dāng)B(s)=1時(shí),稱(chēng)庫(kù)所S為安全的.
7、定義4[7](弱序關(guān)系)設(shè)(N,M0)是一個(gè)網(wǎng),初始標(biāo)識(shí)為M0,一對(duì)變遷(ta,tb)∈(T×T)是弱序,記作ta>tb,當(dāng)且僅當(dāng)存在一個(gè)發(fā)生序列σ=t1,t2,…,tn使得(N,M0)[σ>,并且有a=i,b=j,1≤iy∧y≯x,記作x→y;2、排他序關(guān)系:如果x≯y∧y≯x,記作x+y3、交叉序關(guān)系:如果x≯y∧y>x,記作x
8、
9、y將滿足以上關(guān)系的集
10、合稱(chēng)為網(wǎng)N的行為輪廓,記作BPN={→,+,
11、
12、}.由以上的行為輪廓之間的嚴(yán)格序關(guān)系,還可得到嚴(yán)格逆序關(guān)系,如果x>y∧y≯x,此時(shí)記作x→y.如圖1所示:其中A和B為圖中特別標(biāo)