基于Petri網(wǎng)的商標(biāo)注冊業(yè)務(wù)流程建模及行為驗證

李東月，方 歡

(安徽理工大學(xué)數(shù)學(xué)與大數(shù)據(jù)學(xué)院，安徽淮南 232001)

隨著計算機技術(shù)的飛速發(fā)展和廣泛應(yīng)用，業(yè)務(wù)流程建模有了廣闊的應(yīng)用前景，成為分析解決業(yè)務(wù)流程問題的常用方法。簡潔有效的工作流模型不僅能為業(yè)務(wù)管理的正常運行提供技術(shù)上的支持，而且能為業(yè)務(wù)流程的行為驗證提供形式化的驗證方法。

目前，常用的業(yè)務(wù)流程建模方法有IDEF3方法、隨機網(wǎng)絡(luò)方法、事件驅(qū)動的過程鏈方法等[1]。Petri網(wǎng)理論的建模方法以其較好的流程描述效果、直觀的圖形表示及豐富的系統(tǒng)分析技術(shù)，被廣泛應(yīng)用于業(yè)務(wù)流程建模和分析方面。陳浩[2]針對汽車保險賠償流程的特點，采用隨機Petri網(wǎng)對汽車保險業(yè)務(wù)流程進行建模。徐沛東[3]通過對建筑市場監(jiān)管工作的復(fù)雜性分析，基于Petri網(wǎng)建模技術(shù)建立了一套應(yīng)用于建筑市場監(jiān)管工作流的Petri網(wǎng)模型。高進[4]提出運用工作流模型優(yōu)化水上應(yīng)急處置傳遞中的問題，提升信息傳遞的實效性及準(zhǔn)確性。李浩[5]為了理順復(fù)雜裝備服務(wù)業(yè)務(wù)流程中各參與元素及其在流程中的位置和作用，提出了一種基于Petri網(wǎng)的復(fù)雜裝備服務(wù)全生命周期業(yè)務(wù)流程建模方法。黃苾[6]敘述了使用Petri網(wǎng)建模業(yè)務(wù)過程的直觀性和易溝通、理解性。需要指出的是，工作流模型必須保證其正確性和有效性。一旦包含一些對執(zhí)行任務(wù)錯誤的描述或定義，那么該流程模型在運行過程中必將產(chǎn)生嚴(yán)重后果，這也說明了對模型進行行為驗證和分析的必要性。

如今，商標(biāo)是市場中的通行證，作為一種無形的資產(chǎn)，商標(biāo)不僅是區(qū)別商品和服務(wù)來源的標(biāo)志，也是企業(yè)的信譽、競爭力強弱的象征。越來越多的企業(yè)為了提高品牌影響力，尋求更好、更快的發(fā)展，紛紛對自己的商標(biāo)申請注冊。因此對商標(biāo)注冊進行業(yè)務(wù)流程建模，提高注冊效率，是非常有必要的。本文根據(jù)中華人民共和國商標(biāo)法，將Petri網(wǎng)強大的系統(tǒng)描述手段應(yīng)用到業(yè)務(wù)流程建模，并利用工作流Petri網(wǎng)對所建立的業(yè)務(wù)流程的行為進行分析和驗證。

1 相關(guān)概念

定義1[7](網(wǎng)的概念) 滿足下列條件的三元組N=(P,T;F)稱作一個網(wǎng)：

(1)P∪T≠?；(2)P∩T=?；(3)F?(P×T)∪(T×P)；(4)dom(F)∪cod(F)=P∪T.

S(庫所)和T(變遷)為網(wǎng)的基本元素，F(xiàn)是流關(guān)系。網(wǎng)N用有向弧表示流關(guān)系，即若(x,y)∈F，則從x到y(tǒng)畫一條有向弧。

定義2[7](變遷發(fā)生規(guī)則) 設(shè)N=(P,T;F,M)稱作為Petri網(wǎng)，則變遷發(fā)生規(guī)則為：

(1)對于N=(P,T；F,M)，?t∈T，如果?p∈P:p∈?t:M(p)≥1，則稱t在M使能，記為M[t>。

(2)在標(biāo)識M下使能的變遷t發(fā)生后，得到一個新的標(biāo)識M*(記為M[t>M*)，則有：

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

定義4[8](工作流網(wǎng)) 若Petri網(wǎng)N=(P,T;F,M)滿足下列條件：(1)該Petri網(wǎng)有一個源庫所i∶?i=?；(2)該Petri網(wǎng)有一個終止庫所°:°?=?；(3)該Petri網(wǎng)上的每個結(jié)點都屬于i到°的一條路徑上，即Petri網(wǎng)是強連通的。則網(wǎng)N為工作流網(wǎng)(Workflow net)。

2 基于Petri網(wǎng)的商標(biāo)注冊業(yè)務(wù)流程建模

商標(biāo)的注冊流程基本包括準(zhǔn)備階段(資料填寫)、提交申報、實質(zhì)審查、初審公告、異議裁決5個階段。如圖1所示，當(dāng)個人或企業(yè)向商標(biāo)局申請注冊時，首先要填報商品的分類及名稱t1提出注冊申請t2，然后填寫相關(guān)材料t3，提交材料t7，若要求審核優(yōu)先權(quán)的，須在提出注冊申請時提交書面聲明t4，并在30日內(nèi)提交注冊申請副本t5或展會名稱和展會日期t6等。在初審t8過程中，商標(biāo)局認(rèn)為申請內(nèi)容需要說明或者修正的，可以要求申請人做出說明或者修正。對于初次審查駁回申請t10的，若服從裁決則注冊失敗t11，注冊結(jié)束。申請人也可申請

圖1 商標(biāo)注冊業(yè)務(wù)流程圖

復(fù)審t12，進行二次裁決t13，復(fù)審結(jié)果未能達(dá)成一致則可向人民法院起訴t15。若初步審定公告t17的商標(biāo)，自公告之日起，3個月內(nèi)在先權(quán)利人、利害關(guān)系人無異議的，予以核準(zhǔn)注冊t18，如果提出異議t19，則異議裁決t20。申請人對異議裁決結(jié)果不服從t21，可申請復(fù)審t12。同樣，在先權(quán)利人、利害關(guān)系人不服從的t22，也可按照法律申請注冊無效t23。最后商標(biāo)局結(jié)合判決結(jié)果給出注冊與否t16或者異議裁決結(jié)果與三方達(dá)成一致t24結(jié)束。

表1 模型中變遷符號含義

3 商標(biāo)注冊業(yè)務(wù)流程的行為驗證與分析

工作流模型的合理性、有效性是模型分析中的主要內(nèi)容，需要從模型分析的角度來證實模型功能的有效性，即從工作流模型出發(fā)，保證模型不存在結(jié)構(gòu)上和行為上的死鎖狀態(tài)[9]。

定義5[10]一個工作流網(wǎng)是正確的，當(dāng)且僅當(dāng)：(1)對任意的標(biāo)識M，都存在一個發(fā)生序列，使得源庫所可以通過M到達(dá)終止庫所；(2)對任何一個有初始標(biāo)識發(fā)生而得到的中間標(biāo)識M，如果此時在終止庫所里至少有一個托肯，該狀態(tài)就是終止?fàn)顟B(tài)。終止時該工作流網(wǎng)終止庫所°中有且僅有一個標(biāo)識，并且整個工作流程只有唯一的一個標(biāo)識；(3)沒有死任務(wù)，也就是Petri網(wǎng)是活的。

對圖1模型行為分析驗證：(1)該模型只有一個源庫所i∶?i=?；(2)該模型只有一個終止庫所°:°?=?；(3)增加一個變遷t到源庫所i和終止庫°所之間，即?t={i}且t?={°}，這時Petri網(wǎng)是強連通的。因此該模型是工作流網(wǎng)。

運用PIPE軟件對工作流模型進行合理性分析，圖2和圖3分別為PIPE軟件中的發(fā)生序列和模型執(zhí)行終止后的結(jié)果分析中的所有路徑經(jīng)驗證都可準(zhǔn)確執(zhí)行。下面只以發(fā)生序列t0t1t3t4t8t16t18t19t20t12t14t15(即圖2所示的T0T1T3T4T8T16T18T19T20T12T14T15)為例，給出說明。

通過PIPE運行，由圖3所示的執(zhí)行結(jié)果可知，(1)該模型中，對任意的標(biāo)識M，都存在一個發(fā)生序列，使得源庫所可以通過M到達(dá)終止庫所，即?M,?ti+1t2,…,tk，使得M0[t1>M1…Mi-1[ti>M[ti+1>Mi+1…Mk-1[tk>Mk，i∈[1,k-1]，其中，設(shè)Mk為終止?fàn)顟B(tài)；(2)模型的運行終止于一個終止庫所°，并且終止時終止庫所里有且只有一個標(biāo)識；(3)每個變遷都是可發(fā)生的(M0可達(dá)的)，即?t,?M∶M0[t>M?？梢姡摴ぷ髁骶W(wǎng)是合理的，該模型在理論意義上是完全正確的。

實際意義上，從模型中可以清楚地看到商標(biāo)注冊流程可分為三大模塊：初審之前的準(zhǔn)備、駁回申請以及予以初審公告，余下部分分別以其展開。在工作流網(wǎng)模型中，包括順序、并行、選擇和循環(huán)4種結(jié)構(gòu)。本文主要運用選擇結(jié)構(gòu)對商標(biāo)注冊流程進行建模。初審之前的準(zhǔn)備部分，根據(jù)注冊流程，若要求審核優(yōu)先權(quán)的，需在提出注冊申請時提交書面聲明t4，并在30日內(nèi)提交注冊申請副本t5或展會名稱和展會日期t6等。所以填寫相關(guān)材料與提交書面聲明之間運用選擇結(jié)構(gòu)，表示在提出注冊申請時提交書面聲明或順次直接填寫相關(guān)材料二者擇一即可。其余之處同理。經(jīng)驗證，該工作流模型的運行軌跡與實際的商標(biāo)注冊流程也是一致的。

圖2 發(fā)生序列圖

圖3 執(zhí)行結(jié)果分析

綜上所述，此工作流模型無論從Petri網(wǎng)的理論層次還是商標(biāo)注冊的實際操作層次上分析，都是完全正確的，說明該模型有較好的應(yīng)用價值。

4 結(jié)語

本文通過一個商標(biāo)注冊申請實例，結(jié)合工作流網(wǎng)，說明Petri網(wǎng)在業(yè)務(wù)流程建模中的優(yōu)越性。從理論與實際出發(fā)，分析驗證結(jié)果合理，表明該工作流模型具有較好的應(yīng)用效果，對于商標(biāo)注冊業(yè)務(wù)的實際操作具有一定的指導(dǎo)意義。本文建立的模型表述比較詳盡，但仍有一些不足之處。例如對于異議裁決以后的事宜只進行了粗略的過程闡述，若都進行描述，模型會變得冗長復(fù)雜。今后還需要對商標(biāo)注冊工作流模型進一步優(yōu)化，以達(dá)到簡潔與詳盡的相對平衡。