基于Petri網的ETC高速收費系統優化分析

劉靜 王麗麗 劉祥偉

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

關鍵詞：Petri網;行為輪廓;優化;ETC高速收費系統

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

1 引言

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

目前，國內外很多學者對行為輪廓建模的優化問題進行了研究，文獻[1]介紹了Petri網的相關定義和基本原理，以及這些定義和原理在實際生活建模中的應用.文獻[2]提出將兩個業務流程模型事物的驅動關系合并成一個單一的過程模型，并將該模型進行優化，使得流程的模型優化不僅局限在最初的原始模型中，而是使活動之間存在間接的交互關系，該方法現已用于技術分析和過程挖掘中.文獻[3]介紹了一種Petri網可達性檢查技術，并給出了利用組合性來提高Petri網性能的一些具體例子.文獻[4]針對服務交互過程中出現的間接行為關系的情況，提……