發(fā)布時(shí)間：2021-12-19 07:35

　　邏輯Petri網(wǎng)是一種增廣Petri網(wǎng)模型,具有與圖靈機(jī)等價(jià)的建模能力。顏色邏輯Petri網(wǎng)解決了邏輯Petri網(wǎng)中輸出的不確定性表達(dá)問題。然而顏色邏輯Petri網(wǎng)描述不同子系統(tǒng)的并發(fā)過程,需要對(duì)每一個(gè)子系統(tǒng)建立一個(gè)子網(wǎng)模型。如果所有子網(wǎng)模型的結(jié)構(gòu)相同,則可以引入多個(gè)有色托肯,從而用一個(gè)子網(wǎng)模型表示多個(gè)子系統(tǒng)的并發(fā)過程。因此,提出了擴(kuò)展顏色邏輯Petri網(wǎng)模型及其可達(dá)性分析方法。首先,為了方便可達(dá)標(biāo)識(shí)的表示和計(jì)算,引入多重集的素?cái)?shù)表示法,用素?cái)?shù)冪的乘積來表示一個(gè)多重集,并給出了判斷變遷使能的方法。其次,通過定義顏色邏輯關(guān)聯(lián)矩陣,給出了一步可達(dá)標(biāo)識(shí)的計(jì)算公式以及可達(dá)樹構(gòu)造方法。最后,針對(duì)一個(gè)電子商務(wù)實(shí)例,分別用顏色邏輯Petri網(wǎng)和所提出的擴(kuò)展顏色邏輯Petri網(wǎng)建立模型并進(jìn)行比較分析,從而證明了提出的模型具有更簡(jiǎn)單的網(wǎng)結(jié)構(gòu),豐富了邏輯Petri網(wǎng)理論。 

【文章來源】：山東科技大學(xué)學(xué)報(bào)(自然科學(xué)版). 2020,39(03)北大核心

【文章頁(yè)數(shù)】：15 頁(yè)

【部分圖文】：

圖２單購(gòu)買者流程的ＣＬＰＮＥＣ可達(dá)樹Ｆｉｇ．２ＣＬＰＮＥＣＲＴｆｏｒｏｎｅｐｕｒｃｈａｓｅｒｐｒｏｃｅｓｓ

４）〈ｂ〉＝（ｓ），ｆｉｎｔ（Ｅ（ｒ＿ｍｏｎｅｙ，ｐ４）〈ｂ〉）＝２；（ｎ）Ｅ（ｅｎｄ，ＯＳ）〈ｂ〉＝（ｓ），ｆｉｎｔ（Ｅ（ｅｎｄ，ＯＳ）〈ｂ〉）＝２；（ｏ）Ｅ（ｔＳ，ｉＳ）〈ｂ〉＝（ｓ），ｆｉｎｔ（Ｅ（ｔＳ，ｉＳ））＝２；（ｐ）Ｅ（ｔＢ，ｉＢ）〈ｂ〉＝（ｂ１，ｂ２，ｂ１＋ｂ２），ｆｉｎｔ（Ｅ（ｔＢ，ｉＢ））＝（３，５，１５）。圖４兩個(gè)購(gòu)買者流程的ＥＣＬＰＮＥＣ可達(dá)樹Ｆｉｇ．４ＥＣＬＰＮＥＣＲＴｆｏｒｔｗｏｐｕｒｃｈａｓｅｒｓｐｒｏｃｅｓｓ得到的可達(dá)樹分別如圖４、５所示，其中圖４為兩購(gòu)買者流程的ＥＣＬＰＮＥＣ可達(dá)樹，Ｂ１和Ｂ２均從Ｓｅｌｌｅｒ購(gòu)買。每個(gè)可達(dá)標(biāo)識(shí)中有色托肯在庫(kù)所中的分布如下：Ｍ０＝｛２，１５，１，１，１，１，１，１，１，１，１，１，１，１，１｝，Ｍ１＝｛１，１５，２，１，２，１，１，１，１，１，１，１，１，１，１｝，Ｍ２＝｛１，１，１，１５，２，１，１，１，１，１，１，１，１，１，１｝，Ｍ３＝｛１，１，１，１，２，１５，１５，１，１，１，１，１，１，１，１｝，Ｍ４＝｛１，１，１，１，１，１，１５，３０，１，１，１，１，１，１，１｝，Ｍ５＝｛１，１，１，１，１，１，１５，１，１５，１，２，１，１，１，１｝

王振等：擴(kuò)展顏色邏輯Ｐｅｔｒｉ網(wǎng)及其可達(dá)性分析Ｍ８＝｛１，１５，１，１，１，１，１，１，１，１，２，１５，１，１，１｝，Ｍ９＝｛１，１５，１，１，１，１，１，１，１，１，１，１，１，２，１｝。Ｍ１０＝｛１，１５，１，１，１，１，１，１，１，１，１，１，１，１，２｝。圖４中可達(dá)標(biāo)識(shí)數(shù)量為１０。圖５為單購(gòu)買者流程的ＥＣＬＰＮＥＣ可達(dá)樹，Ｂ１從Ｓｅｌｌｅｒ購(gòu)買貨物，Ｂ２不購(gòu)買。為了降低可達(dá)樹的規(guī)模，同時(shí)為了方便同ＣＬＰＮＥＣ比較，在構(gòu)建ＥＣＬＰＮＥＣ可達(dá)樹（圖５）的過程中應(yīng)用下面的規(guī)則：圖５單購(gòu)買者流程的ＥＣＬＰＮＥＣ可達(dá)樹Ｆｉｇ．５ＥＣＬＰＮＥＣＲＴｆｏｒｏｎｅｐｕｒｃｈａｓｅｒｐｒｏｃｅｓｓ１）ｔＢ使能則優(yōu)先引發(fā)。２）ｓ＿Ｂ＿ｏｒｄｅｒ與Ｂ＿ｒｅｆｕｓｅ之間不能發(fā)生其他變遷。３）１）的優(yōu)先級(jí)高于２）的優(yōu)先級(jí)。同理可得每個(gè)可達(dá)標(biāo)識(shí)中有色托肯的分布，這里省略。圖５中可達(dá)標(biāo)識(shí)數(shù)量為１４。由于無購(gòu)買者與兩個(gè)購(gòu)買者的購(gòu)買流程是等價(jià)的，故省略無購(gòu)買者購(gòu)買過程。通過表１中數(shù)據(jù)的對(duì)比，可以得到ＥＣＬＰＮＥＣ與ＣＬＰＮＥＣ在模型規(guī)模上和可達(dá)樹規(guī)模上的比較。表１ＣＬＰＮＥＣ與ＥＣＬＰＮＥＣ比較Ｔａｂ．１ＣｏｍｐａｒｉｓｏｎｂｅｔｗｅｅｎＣＬＰＮＥＣａｎｄＥＣＬＰＮＥＣ項(xiàng)目ＣＬＰＮＥＣＥＣＬＰＮＥＣ降低率／％模型庫(kù)所數(shù)２４１５３７．５模型變遷數(shù)１


本文編號(hào)：3544025