一種基于XML的Petri網(wǎng)運(yùn)行方法及系統(tǒng)的制作方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及分布式系統(tǒng)建模技術(shù)領(lǐng)域，特別是涉及一種基于XML的Petri網(wǎng)運(yùn)行方 法及系統(tǒng)。
【背景技術(shù)】
[0002] 目前，作為分布式系統(tǒng)的建模和分析工具，Petri網(wǎng)已經(jīng)形成了一套較為完善理論 體系。傳統(tǒng)的Petri網(wǎng)是基于圖進(jìn)行分析，比較直觀，易于人的理解。隨著軟件技術(shù)的日益發(fā) 展，研究人員越來越希望借助計(jì)算機(jī)來研究Petri網(wǎng)，更準(zhǔn)確的說是希望借助一種Petri網(wǎng) 工具來進(jìn)行建模、模擬和分析，而Petri建模工具的基礎(chǔ)是計(jì)算機(jī)可理解的Petri網(wǎng)定義。其 中，XML(可擴(kuò)展標(biāo)記語言)作為當(dāng)前廣泛應(yīng)用的標(biāo)準(zhǔn)的結(jié)構(gòu)化語言，是Petri網(wǎng)語義載體的 理想方案。
[0003] 現(xiàn)有技術(shù)中，Petri網(wǎng)描述語言（Petri Net Markup Language，PMVIL)是一個(gè)基于 XML的Petri網(wǎng)的交換格式，可以通過文件形式定義一個(gè)Petri網(wǎng)的結(jié)構(gòu)，并且可以通過特定 的Petri網(wǎng)類型定義（Petri Net Type Definition，PNTD)來針對(duì)不同類型的Petri網(wǎng)定義 不同的Petri網(wǎng)的特定屬性。
[0004] 但是，由于P匪L追求交換的標(biāo)準(zhǔn)化，使得其自身過于規(guī)范化，首先，在Petr i網(wǎng)運(yùn)行 過程中需要引入用其它(非XML)語言編寫的算法代碼，影響了運(yùn)行效率;其次，原本解析XML 文件就是Petri建模工具執(zhí)行效率的瓶頸，而PNML對(duì)Petri網(wǎng)的定義復(fù)雜且含有過多額外信 息，這同樣也影響了對(duì)Petri網(wǎng)XML文件的解析效率。

【發(fā)明內(nèi)容】

[0005] 有鑒于此，本發(fā)明提供了一種基于XML的Petri網(wǎng)運(yùn)行方法及系統(tǒng)，以克服現(xiàn)有技 術(shù)中引入用其它語言編寫的算法代碼以及P匪L對(duì)Petri網(wǎng)的定義復(fù)雜且含有過多額外信息 影響運(yùn)行效率的缺點(diǎn)，進(jìn)而提高Petri網(wǎng)的運(yùn)行效率。
[0006] 為解決上述技術(shù)問題，本發(fā)明提供一種基于XML的Petri網(wǎng)運(yùn)行方法，包括：
[0007]獲取Petri網(wǎng)的結(jié)構(gòu)描述信息；
[0008] 獲取基于XML描述的運(yùn)行相關(guān)算法；
[0009] 利用所述結(jié)構(gòu)描述信息和所述基于XML描述的運(yùn)行相關(guān)算法，運(yùn)行所述Petri網(wǎng)；
[0010] 其中，所述結(jié)構(gòu)描述信息包括庫(kù)所集信息、變迀集信息以及流集信息。
[0011]上述方法中，優(yōu)選的，在所述利用所述結(jié)構(gòu)描述信息和所述基于XML描述的運(yùn)行相 關(guān)算法，運(yùn)行所述Petri網(wǎng)過程中，還包括：
[0012] 調(diào)用基于XML描述的狀態(tài)監(jiān)控進(jìn)程，對(duì)所述庫(kù)所集、所述變迀集和所述流集的運(yùn)行 狀態(tài)進(jìn)行監(jiān)控；
[0013] 其中，所述監(jiān)控進(jìn)程包括庫(kù)所集監(jiān)控進(jìn)程、變迀集監(jiān)控進(jìn)程以及流集監(jiān)控進(jìn)程。
[0014] 上述方法中，優(yōu)選的，在所述調(diào)用基于XML描述的狀態(tài)監(jiān)控進(jìn)程，對(duì)所述庫(kù)所集、所 述變迀集和所述流集的運(yùn)行狀態(tài)進(jìn)行監(jiān)控之后，還包括：
[0015] 分別保存監(jiān)控到的所述庫(kù)所集、所述變迀集和所述流集的運(yùn)行狀態(tài)。
[0016] 上述方法中，優(yōu)選的，在所述利用所述結(jié)構(gòu)描述信息和所述基于XML描述的運(yùn)行相 關(guān)算法，運(yùn)行所述Petri網(wǎng)的過程中，還包括：
[0017]利用基于XML描述的可覆蓋性圖對(duì)所述Petri網(wǎng)的狀態(tài)變化和變迀發(fā)生序列情況 進(jìn)行分析；
[0018]其中，所述可覆蓋性圖包括標(biāo)識(shí)向量和可達(dá)弧。
[0019]上述方法中，優(yōu)選的，所述運(yùn)行相關(guān)算法包括前集基本量算法、后集基本量算法及 基于迀移規(guī)則的Petri網(wǎng)運(yùn)行算法。
[0020]本發(fā)明還提供了一種基于XML的Petri網(wǎng)運(yùn)行系統(tǒng)，包括：
[0021]第一獲取單元，用于獲取Petr i網(wǎng)的結(jié)構(gòu)描述信息；
[0022]第二獲取單元，用于獲取基于XML描述的運(yùn)行相關(guān)算法；
[0023]運(yùn)行單元，用于利用所述結(jié)構(gòu)描述信息和所述基于XML描述的運(yùn)行相關(guān)算法，運(yùn)行 所述Petri網(wǎng)；
[0024]其中，所述結(jié)構(gòu)描述信息包括庫(kù)所集信息、變迀集信息以及流集信息。
[0025] 上述系統(tǒng)中，優(yōu)選的，還包括：
[0026]監(jiān)控單元，用于在所述利用所述結(jié)構(gòu)描述信息和所述基于XML描述的運(yùn)行相關(guān)算 法，運(yùn)行所述Petri網(wǎng)過程中，調(diào)用基于XML描述的狀態(tài)監(jiān)控進(jìn)程，對(duì)所述庫(kù)所集、所述變迀 集和所述流集的運(yùn)行狀態(tài)進(jìn)行監(jiān)控；
[0027] 其中，所述監(jiān)控進(jìn)程包括庫(kù)所集監(jiān)控進(jìn)程、變迀集監(jiān)控進(jìn)程以及流集監(jiān)控進(jìn)程。 [0028] 上述系統(tǒng)中，優(yōu)選的，還包括：
[0029]存儲(chǔ)單元，用于在所述調(diào)用基于XML描述的狀態(tài)監(jiān)控進(jìn)程，對(duì)所述庫(kù)所集、所述變 迀集和所述流集的運(yùn)行狀態(tài)進(jìn)行監(jiān)控之后，分別保存監(jiān)控到的所述庫(kù)所集、所述變迀集和 所述流集的運(yùn)行狀態(tài)。
[0030] 上述系統(tǒng)中，優(yōu)選的，還包括：
[0031] 分析單元，用于在所述利用所述結(jié)構(gòu)描述信息和所述基于XML描述的運(yùn)行相關(guān)算 法，運(yùn)行所述Petri網(wǎng)的過程中，利用基于XML描述的可覆蓋性圖對(duì)所述Petri網(wǎng)的狀態(tài)變化 和變迀發(fā)生序列情況進(jìn)行分析；
[0032] 其中，所述可覆蓋性圖包括標(biāo)識(shí)向量和可達(dá)弧。
[0033] 上述系統(tǒng)中，優(yōu)選的，所述運(yùn)行相關(guān)算法包括前集基本量算法、后集基本量算法及 基于迀移規(guī)則的Petri網(wǎng)運(yùn)行算法。
[0034]以上本發(fā)明提供的一種基于XML的Petri網(wǎng)運(yùn)行方法及系統(tǒng)中，先獲取Petri網(wǎng)的 結(jié)構(gòu)描述信息和基于XML描述的運(yùn)行相關(guān)算法，然后利用獲取到的結(jié)構(gòu)描述信息和基于XML 描述的運(yùn)行相關(guān)算法，運(yùn)行Petri網(wǎng)。本發(fā)明中，Petri網(wǎng)的運(yùn)行相關(guān)算法是預(yù)先使用XML進(jìn) 行描述好的并且融入到Petri網(wǎng)的其它描述中，相較現(xiàn)有技術(shù)中引入用其它(非XML)語言編 寫的算法代碼，本發(fā)明有效提高了Petri網(wǎng)運(yùn)行效率；同時(shí)，上述Petri網(wǎng)的結(jié)構(gòu)描述信息中 僅包含簡(jiǎn)單的基本結(jié)構(gòu)信息（庫(kù)所集信息、變迀集信息以及流集信息），相較現(xiàn)有技術(shù)中 PNML對(duì)Petri網(wǎng)的定義復(fù)雜且含有過多額外信息，本發(fā)明有利于提高Petri網(wǎng)的運(yùn)行效率。
【附圖說明】
[0035]為了更清楚地說明本發(fā)明實(shí)施例或現(xiàn)有技術(shù)中的技術(shù)方案，下面將對(duì)實(shí)施例或現(xiàn) 有技術(shù)描述中所需要使用的附圖作簡(jiǎn)單地介紹，顯而易見地，下面描述中的附圖僅僅是本 發(fā)明的實(shí)施例，對(duì)于本領(lǐng)域普通技術(shù)人員來講，在不付出創(chuàng)造性勞動(dòng)的前提下，還可以根據(jù) 提供的附圖獲得其他的附圖。
[0036]圖1為本發(fā)明實(shí)施例提供的一種基于XML的Petri網(wǎng)運(yùn)行方法的流程圖；
[0037]圖2為本發(fā)明實(shí)施例提供的一個(gè)簡(jiǎn)單的Petri網(wǎng)2丨的結(jié)構(gòu)示意圖；
[0038]圖3為本發(fā)明實(shí)施例提供的一個(gè)?的4網(wǎng)Σ!的進(jìn)程的示意圖；
[0039]圖4為本發(fā)明實(shí)施例提供的一種Petri網(wǎng)Σι的可覆蓋性圖的示意圖；
[0040]圖5為本發(fā)明實(shí)施例提供的一種基于XML的Petri網(wǎng)運(yùn)行系統(tǒng)的結(jié)構(gòu)框圖示意圖。
【具體實(shí)施方式】
[0041]下面將結(jié)合本發(fā)明實(shí)施例中的附圖，對(duì)本發(fā)明實(shí)施例中的技術(shù)方案進(jìn)行清楚、完 整地描述，顯然，所描述的實(shí)施例僅僅是本發(fā)明一部分實(shí)施例，而不是全部的實(shí)施例?；?本發(fā)明中的實(shí)施例，本領(lǐng)域普通技術(shù)人員在沒有做出創(chuàng)造性勞動(dòng)前提下所獲得的所有其他 實(shí)施例，都屬于本發(fā)明保護(hù)的范圍。
[0042]本發(fā)明的核心是提供一種基于XML的Petri網(wǎng)運(yùn)行方法及系統(tǒng)，以克服現(xiàn)有技術(shù)中 引入用其它語言編寫的算法代碼以及PNML對(duì)Petri網(wǎng)的定義復(fù)雜且含有過多額外信息影響 運(yùn)行效率的缺點(diǎn)，進(jìn)而提高Petri網(wǎng)的運(yùn)行效率。
[0043]為了使本技術(shù)領(lǐng)域的人員更好地理解本發(fā)明方案，下面結(jié)合附圖和【具體實(shí)施方式】 對(duì)本發(fā)明作進(jìn)一步的詳細(xì)說明。
[0044]參考圖1，圖1示出了本發(fā)明實(shí)施例提供的一種基于XML的Petri網(wǎng)運(yùn)行方法的流程 圖，該方法具體可以包括如下步驟：
[0045]步驟S100、獲取Pe tr i網(wǎng)的結(jié)構(gòu)描述信息。
[0046]其中，結(jié)構(gòu)描述信息包括庫(kù)所集信息、變迀集信息以及流集信息。
[0047]上述Petri網(wǎng)的結(jié)構(gòu)描述信息中僅包含簡(jiǎn)單的基本結(jié)構(gòu)信息，相較現(xiàn)有技術(shù)中 PNML對(duì)Petri網(wǎng)的定義復(fù)雜且含有過多額外信息，本發(fā)明有利于提高Petri網(wǎng)的運(yùn)行效率。 [0048]在現(xiàn)有技術(shù)中，PNML對(duì)Petri網(wǎng)的定義復(fù)雜且含有過多額外信息具體體現(xiàn)在：1)定 義復(fù)雜。PNML中涉及了諸多概念和技術(shù)，如PNTD、元模型和Convention等，給Petri網(wǎng)建模人 員學(xué)習(xí)帶來了很多麻煩;2)含有過多額外信息。PNML中定義的網(wǎng)不僅含有Petri網(wǎng)信息，還 含有一些額外信息，比如圖形信息和工具信息等，這些是建模人員所不關(guān)心的。可以理解的 是，實(shí)際上，本發(fā)明所提供的是一種輕量級(jí)的基于XML的Petri網(wǎng)運(yùn)行方法(Light-weight Petri net Markup Language，LPML)，LPML注重Petri網(wǎng)的概念，只包含了最基本的結(jié)構(gòu)信 息，沒有添加其它額外的信息。
[0049] 在實(shí)際應(yīng)用中，LMPL定義了對(duì)原型Petri網(wǎng)的描述，原型Petri因?yàn)榻Y(jié)構(gòu)簡(jiǎn)單，很適 合對(duì)Petri網(wǎng)進(jìn)行分析。以下示出了一種原型Petri網(wǎng)的描述代碼，以BN