Petri網(wǎng)在網(wǎng)絡(luò)選座系統(tǒng)的建模優(yōu)化分析

王倩倩 王麗麗

摘要：針對在網(wǎng)絡(luò)選座系統(tǒng)中，沒有涉及的需要購買同一隔間兩張臥鋪的問題，提出了網(wǎng)絡(luò)選座系統(tǒng)模型并進(jìn)行了優(yōu)化.首先利用Petri網(wǎng)描述了網(wǎng)絡(luò)選座系統(tǒng)模型，然后添加相關(guān)的活動(dòng)變遷和庫所，根據(jù)提出的網(wǎng)絡(luò)購票公式，判斷每個(gè)隔間所剩硬臥的個(gè)數(shù)，當(dāng)剩余硬臥的個(gè)數(shù)大于等于2時(shí)，系統(tǒng)自動(dòng)分配當(dāng)前隔間兩張硬臥給乘客;當(dāng)剩余硬臥的個(gè)數(shù)小于2時(shí)，則自動(dòng)分配下一間的兩張硬臥給乘客，從而達(dá)到同行人能夠購買同一隔間硬臥的目的.最后，通過示例分析，說明了網(wǎng)絡(luò)選座模型的有效性和實(shí)用性.

關(guān)鍵詞：Petri網(wǎng);行為輪廓;優(yōu)化;建模

中圖分類號：TP391.9? 文獻(xiàn)標(biāo)識(shí)碼：A? 文章編號：1673-260X（2019）01-0060-03

隨著科技的發(fā)展，建模已經(jīng)成為分析解決業(yè)務(wù)流程問題的常用方法.在建模的過程中可能會(huì)因?yàn)閷?shí)際問題情況復(fù)雜交互而出現(xiàn)不適用或者不一致的情形，那么依據(jù)行為輪廓及Petri網(wǎng)的相關(guān)性質(zhì)進(jìn)行建模優(yōu)化就顯得尤為重要.而Petri網(wǎng)的行為輪廓理論是以合理的自由選擇Petri網(wǎng)為基礎(chǔ)，從過程行為角度建模，使得Petri網(wǎng)模型間的行為關(guān)系具體化、數(shù)字化，直觀地刻畫了行為之間的內(nèi)部關(guān)系[1].

通過Petri網(wǎng)建立模型，并對模型進(jìn)行優(yōu)化，取得了很多成就.基于Petri網(wǎng)構(gòu)建流程模型能夠清晰地表現(xiàn)出業(yè)務(wù)行為的邏輯性和有序性，因此，建模的語言和建模的原理就成為了建立流程模型的重要工具.建模的語言為其提供了語法，語義和建模的標(biāo)準(zhǔn)，如BPMN，EPCs，UML和BPEL[2，3]建模原理則給出……