劉靜 王麗麗 劉祥偉

摘要：業(yè)務(wù)流程的建模是業(yè)務(wù)管理的核心內(nèi)容之一，對業(yè)務(wù)流程進行建模優(yōu)化分析顯得尤為重要.本文給出了基于Petri網(wǎng)的ETC高速收費流程模型的優(yōu)化分析方法.首先結(jié)合實際ETC高速收費系統(tǒng)，分析流程模型中活動間的間接關(guān)系，找出源流程模型中存在的問題，然后對模型進行優(yōu)化.最后利用PIPE軟件驗證其合理性.

關(guān)鍵詞：Petri網(wǎng);行為輪廓;優(yōu)化;ETC高速收費系統(tǒng)

中圖分類號：TP391.9? 文獻標識碼：A? 文章編號：1673-260X（2019）02-0056-03

1 引言

隨著信息技術(shù)的迅速發(fā)展及其廣闊的應(yīng)用前景，Petri網(wǎng)建模已經(jīng)成為分析解決業(yè)務(wù)流程問題的常用方法.在建模過程中可能會由于實際問題復(fù)雜交互而出現(xiàn)不適用的情形，則此時根據(jù)Petri網(wǎng)的性質(zhì)和行為輪廓進行建模優(yōu)化就變得極其重要，解決模型的適用性成為建模優(yōu)化的核心問題.

目前，國內(nèi)外很多學者對行為輪廓建模的優(yōu)化問題進行了研究，文獻[1]介紹了Petri網(wǎng)的相關(guān)定義和基本原理，以及這些定義和原理在實際生活建模中的應(yīng)用.文獻[2]提出將兩個業(yè)務(wù)流程模型事物的驅(qū)動關(guān)系合并成一個單一的過程模型，并將該模型進行優(yōu)化，使得流程的模型優(yōu)化不僅局限在最初的原始模型中，而是使活動之間存在間接的交互關(guān)系，該方法現(xiàn)已用于技術(shù)分析和過程挖掘中.文獻[3]介紹了一種Petri網(wǎng)可達性檢查技術(shù)，并給出了利用組合性來提高Petri網(wǎng)性能的一些具體例子.文獻[4]針對服務(wù)交互過程中出現(xiàn)的間接行為關(guān)系的情況，提出了一種基于綜合的行為輪廓的間接約束條件下的行為交互的研究方法，研究了綜合的行為輪廓，并將其用于服務(wù)交互的有效行為關(guān)系的選擇過程中，該方法拓展了已有方法僅考慮直接交互行為關(guān)系的情況.文獻[5]介紹了ETC收費系統(tǒng)在高速公路收費流程的應(yīng)用以及普遍存在的一些問題，在結(jié)合國內(nèi)外經(jīng)驗的基礎(chǔ)上，提出了完善我國ETC高速收費流程的相應(yīng)對策.文獻[6]針對高速電子不停車收費系統(tǒng)存在的交通擁堵、易發(fā)生交通事故、充值不便等問題，設(shè)計了一套基于OBU接收機與NFC充值的電子收費系統(tǒng).

本文根據(jù)高速不停車電子收費系統(tǒng)的實際工作原理，以Petri網(wǎng)行為輪廓為基礎(chǔ)，提出了一種ETC高速收費系統(tǒng)的優(yōu)化模型.文章第一部分介紹了Petri網(wǎng)中相關(guān)定義和基本原理，以及行為輪廓的基本定義.第二部分結(jié)合實際高速ETC收費情況，給出ETC高速收費系統(tǒng)Petri網(wǎng)結(jié)構(gòu)圖，并對現(xiàn)有的收費系統(tǒng)進行分析，找出其中不合理的地方，再結(jié)合Petri網(wǎng)以及行為輪廓的相關(guān)知識加以改進，得出優(yōu)化后的ETC高速收費系統(tǒng)模型并對該模型進行分析，從而避免了實際收費情況中會出現(xiàn)的一些問題.第三部分對給出的Petri網(wǎng)收費系統(tǒng)模型驗證了其合理性，進而得出該ETC收費系統(tǒng)優(yōu)化模型是合理的.文章最后總結(jié)了全文得出結(jié)論并展望了未來關(guān)于Petri網(wǎng)的ETC收費系統(tǒng)的研究方向.

2 基本概念

定義1[7]（流程模型Petri網(wǎng)） 流程模型Petri網(wǎng)PN=（P，T，F(xiàn)，C）是一個四元組滿足以下條件：

定義3[1]（可達性） 設(shè)N=（P，T;F，M）為Petri網(wǎng)，如果存在t∈T使M[t>M']則稱M'為從M直接可達的.如果存在變遷序列t1，t2，…，tk和標識序列M1，M2，…，Mk使得M[t1>M1[t2>M2…Mk-1[tk>Mk，則稱Mk是從M可達的.從M可達的一切標識的集合記為R（M）.

定義4[8]（行為輪廓） 設(shè)（N，M0）是一個網(wǎng)，初始標識為M0，將所有關(guān)系的集合稱為網(wǎng)系統(tǒng)的行為輪廓，記作BP{→，→-1，+，‖}，對任給的變遷對（t1，t2）∈（T×T）滿足下面關(guān)系：

3 基于Petri網(wǎng)的ETC高速收費流程模型優(yōu)化分析

通過分析研究我國的交通壓力和汽車的飛速增加，對我們的環(huán)境造成的污染日漸增加等，就當下的收費方式已經(jīng)滿足不了高速交通壓力，應(yīng)用ETC收費系統(tǒng)有效地緩解了這些問題，大大提高了通行效率.

基本的ETC收費流程如圖1所示，在高速公路行駛的車輛分為兩種情況ETC用戶t2和普通用戶t3，t2和t3是排他序關(guān)系，記作t2+t3.ETC用戶可以自由選擇ETC入口或普通入口，即t2引發(fā)t4和t6，t4和t6也是排他序關(guān)系（t4+t6），若t4發(fā)生，引發(fā)t5入口掃描，t4和t5是嚴格序關(guān)系，記作t4→t5.若t6發(fā)生，引發(fā)t7刷ETC卡，t6和t7也是嚴格序關(guān)系（t6→t7）.t5和t7的發(fā)生都可以引發(fā)t9進入高速，此時，ETC用戶可以自由選擇ETC出口和普通出口，即t9引發(fā)t10，t11且t10，t11是排他序關(guān)系（t10+t11）.假若選ETC出口則引發(fā)t12，t13和t14是排他序關(guān)系（t13+t14），若余額充足則交易成功，車輛通過，即t13依次引發(fā)t18，t19且是嚴格序關(guān)系（t13→t18→t19）.若余額不足則離開ETC車道進入普通車道，現(xiàn)金支付，即t14引發(fā)t15，t16也為嚴格序關(guān)系（t14→t15→t16），假如選普通出口則出口處刷ETC卡，即t11引發(fā)t17.t16，t17也都能引發(fā)t18，t19.普通用戶只能通過普通入口領(lǐng)卡進入高速，普通出口支付現(xiàn)金通過高速，即t3發(fā)生進而依次引發(fā)t8，t9，t11，t16，t18，t19.

由以上可以看出，ETC用戶如按圖1模型行駛，則存在安全隱患.當ETC用戶選擇ETC出口但余額不足時，此時離開ETC車道進入普通車道進行現(xiàn)金交易，這一措施在實際生活中可行性比較小，容易造成交通事故.針對這種情況，用Petri網(wǎng)的相關(guān)運行規(guī)則，通過增加相關(guān)的控制結(jié)構(gòu)對原模型進行優(yōu)化如圖2所示.

圖2中優(yōu)化部分主要從ETC用戶進入高速后該如何選擇哪個出口通過高速進行考慮，即對ETC車載單元obu進行改進，使其具有對行駛車輛時時計費的功能，根據(jù)車輛行駛路程以每公里0.5元計費并計算出ETC卡里余額，當余額充足（≥10）時，obu不會發(fā)出響聲，此時可以選擇ETC出口通過高速且不會在ETC出口處出現(xiàn)余額不足無法支付的情況，進而避免了車輛離開ETC車道進入普通車道而存在的安全隱患.當余額不足（<10）時，obu將報警發(fā)出響聲，提醒用戶ETC卡里余額不足，無法正常通過ETC出口，此時有兩種方法供用戶選擇，第一行駛到高速出口時，選擇普通車道用現(xiàn)金支付的方式通過高速，第二通過手機轉(zhuǎn)賬的方式對ETC卡進行充值使其余額充足，再來選擇ETC出口則能正常通過.優(yōu)化部分在模型中主要體現(xiàn)在增加了變遷t10，t11，t12，t13，t14，t15，t17，而t10引發(fā)t11，t12，且t11，t12是排他序關(guān)系（t11+t12），t11依次引發(fā)t13，t14，且它們是嚴格序關(guān)系（t11→t13→t14，），而t17的發(fā)生又回到了t14.

由以上可以看出，增加控制結(jié)構(gòu)t10，t11，t12，t13，t14，t15，t17即可實現(xiàn)ETC高速收費流程模型的優(yōu)化，從而有效降低了交通事故發(fā)生頻率，提高了通行效率.

4 結(jié)束語

本文基于Petri網(wǎng)給出了ETC高速收費流程模型的一種優(yōu)化方法.根據(jù)Petri網(wǎng)的變遷發(fā)生規(guī)則及其可達性和行為輪廓的嚴格序、排他序等基本性質(zhì)，通過增加庫所和變遷的方式對其進行優(yōu)化，減少高速收費站的擁堵現(xiàn)象，增加道路的利用率.

未來，還需對優(yōu)化后的模型基于Petri網(wǎng)行為輪廓提出相應(yīng)的算法來分析模型的一致性，進一步對模型進行檢驗分析.

參考文獻：

〔1〕吳哲輝.Petri網(wǎng)導(dǎo)論[M].北京：機械工業(yè)出版社，2006.6-22.

〔2〕Weidlich M，Mendling J，Efficient consistency based on behavioural profiles of process? models[J]. Software Engineering IEEE Transactions，2011，37（3）：410-429.

〔3〕Sobociński P，Stephens O.Penrose ： Putting Compositionality to Work for Petri Net Reachability[M]// Algebra and Coalgebra in Computer Science. Springer Berlin Heidelberg，，2013：346-352.

〔4〕王咪咪.基于Petri網(wǎng)行為輪廓的交互行為的分析與應(yīng)用[D].安徽理工大學，2013.

〔5〕楊緒銀.ETC收費系統(tǒng)在高速公路收費站的應(yīng)用[J].網(wǎng)絡(luò)信息與工程，2017（15）：58-59.

〔6〕姚倩，林曉宇，侯筱婷，王麗.基于OBU與NFC充值的ETC系統(tǒng)設(shè)計[J].控制工程，2017，24（5）：1005-1007.

〔7〕Smimov S，Weidlich M，Mending J Business Process Model Abstraction Based on Behavioral? Profiles[M]. Service-Oriented Computing Springer Berlin Heidelberg，2010：1-16.

〔8〕Jensen M T Improving robustness and flexibility of tardiness and flow-time job shops using robustness measures[J].Applied Soft Computing，2001（1）：35-52.

〔9〕Weidlich M， Polyvyanyy A，Desai N，et al.Process compliance measurement based on behavioural profiles[C]// International Conference on Advanced Information Systems Engineering. Springer-Verlag，2011：499-514.

〔10〕Kalenkova A A，Lomazova I A.Discovery of Cancellation Regions within Process Mining Techniques[M].IOS Press，2014.

〔11〕Wang S，Zhou M C，Li Z，et al.A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets[J].IEEE Transactions on Systems Man & Cybernetics Systems， 2013，43（4）：932-940.

〔12〕Xianwen Fang，Junzhi Wu， Xiangwei Liu. An Optimized Method of Business Process Mining Based on the Behavior Profile of Petri Net[J].Information Technology Journal，2014：86～93.