李海濤 楊 波 尹曉玲 王興祖 姚 孔

濟(jì)南大學(xué)，濟(jì)南，250022

0 引言

產(chǎn)品設(shè)計(jì)過(guò)程具有分布性、層次性、動(dòng)態(tài)性和離散性等特點(diǎn)，高效的產(chǎn)品設(shè)計(jì)離不開(kāi)高質(zhì)量的開(kāi)發(fā)過(guò)程。一個(gè)能準(zhǔn)確描述和分析產(chǎn)品開(kāi)發(fā)過(guò)程與信息流動(dòng)的產(chǎn)品開(kāi)發(fā)過(guò)程模型，已成為成功實(shí)現(xiàn)產(chǎn)品開(kāi)發(fā)的重要保證［1］。產(chǎn)品設(shè)計(jì)過(guò)程建模與仿真就是在這種環(huán)境下產(chǎn)生的。

為加強(qiáng)產(chǎn)品開(kāi)發(fā)人員之間的協(xié)作和協(xié)調(diào)，并對(duì)產(chǎn)品開(kāi)發(fā)過(guò)程進(jìn)行分析、改進(jìn)、監(jiān)控和管理，常采用關(guān)鍵路徑法（CPM）、計(jì)劃評(píng)審法（PERT）、UML方法、IDEF方法、設(shè)計(jì)結(jié)構(gòu)矩陣（DSM）和Petri網(wǎng)法等方法。但上述方法在具體應(yīng)用上仍存在一定的局限性，如UML方法和IDEF方法都只是一種描述方法，無(wú)法建立可執(zhí)行的過(guò)程模型，不支持過(guò)程的分析與改進(jìn)，也不是一個(gè)好的定量分析方法。為克服以上問(wèn)題，許多學(xué)者提出了將上述方法結(jié)合進(jìn)行過(guò)程建模研究。祖旭［2］提出了基于IDEF0和Petri的集成建模方法，實(shí)現(xiàn)了對(duì)復(fù)雜過(guò)程系統(tǒng)的有效分析和仿真；呂超等［3］針對(duì)可重組制造系統(tǒng)的兩種重組方式，通過(guò)將UML與OPN結(jié)合的建模方法來(lái)建立可重組制造系統(tǒng)的完整模型。

目前，還鮮見(jiàn)將DSM與Petri網(wǎng)相結(jié)合，并基于其算法及操作過(guò)程來(lái)對(duì)設(shè)計(jì)過(guò)程進(jìn)行建模與仿真的相關(guān)應(yīng)用。作為過(guò)程建模的有力工具，DSM可以通過(guò)執(zhí)行相關(guān)的矩陣操作來(lái)優(yōu)化設(shè)計(jì)過(guò)程，可以描述和分析活動(dòng)的迭代性，因此DSM方法以及基于DSM的一些相關(guān)擴(kuò)展方法在產(chǎn)品設(shè)計(jì)領(lǐng)域具有廣泛的應(yīng)用。趙亮等［4］提出了基于雙層次DSM技術(shù)的多技術(shù)系統(tǒng)產(chǎn)品設(shè)計(jì)方法，解決了多技術(shù)系統(tǒng)產(chǎn)品設(shè)計(jì)中返工迭代多的問(wèn)題；李瀟波等［5］應(yīng)用數(shù)學(xué)方法對(duì)優(yōu)化后的DSM與原DSM的矩陣復(fù)雜度進(jìn)行了計(jì)算，使復(fù)雜度大大降低，耦合任務(wù)流程更為明確和合理。但DSM不能清楚表達(dá)全局設(shè)計(jì)活動(dòng)之間的依賴關(guān)系的缺點(diǎn)依舊無(wú)法改變。Petri網(wǎng)具有規(guī)范的語(yǔ)義、圖形化表達(dá)形式、廣泛的適用性、數(shù)學(xué)分析能力、較成熟的數(shù)學(xué)模型，且有軟件對(duì)Petri網(wǎng)模型進(jìn)行定性和定量分析，有利于設(shè)計(jì)過(guò)程的優(yōu)化［6－10］。因此，將 DSM 和Petri網(wǎng)進(jìn)行結(jié)合，對(duì)問(wèn)題的解決具有實(shí)質(zhì)性的幫助。

1 基于DSM的產(chǎn)品設(shè)計(jì)過(guò)程建模

過(guò)程建模就是在明確設(shè)計(jì)目標(biāo)的情況下，把設(shè)計(jì)任務(wù)進(jìn)行分解，然后通過(guò)各個(gè)任務(wù)的依賴關(guān)系進(jìn)行任務(wù)的重組，得到一個(gè)合理的設(shè)計(jì)流程。過(guò)程模型是設(shè)計(jì)過(guò)程管理和監(jiān)督的依據(jù)。

1.1 設(shè)計(jì)過(guò)程的單元化建模

產(chǎn)品系統(tǒng)的設(shè)計(jì)往往是由若干設(shè)計(jì)任務(wù)按照一定的原則或規(guī)律進(jìn)行的。一個(gè)復(fù)雜的設(shè)計(jì)過(guò)程往往可以分解為一些簡(jiǎn)單的基本單元。從信息流的角度，依據(jù)設(shè)計(jì)任務(wù)之間的時(shí)序關(guān)系，可將設(shè)計(jì)任務(wù)之間的關(guān)系分為串行、并行和耦合，并可采用鄰接矩陣的形式加以描述。在此，本文給出了設(shè)計(jì)結(jié)構(gòu)矩陣基本單元的定義，如圖1所示。

圖1 設(shè)計(jì)任務(wù)關(guān)聯(lián)單元模型的矩陣表示

設(shè)計(jì)任務(wù)關(guān)聯(lián)單元模型矩陣中，行元素與列元素之間的關(guān)系表示如下：①對(duì)角線上的元素表示設(shè)計(jì)任務(wù)本身，用“＊”表示；②矩陣中的元素“1”表示設(shè)計(jì)任務(wù)之間存在著參數(shù)交互，即設(shè)計(jì)任務(wù)aj提供信息給設(shè)計(jì)任務(wù)ai，此時(shí)矩陣元素aij＝1（i≠j）；③ 矩陣中的元素“0”表示設(shè)計(jì)任務(wù)aj與設(shè)計(jì)任務(wù)ai沒(méi)有參數(shù)交互，aij＝0（i≠j）。通過(guò)矩陣可以較好地表達(dá)設(shè)計(jì)任務(wù)之間局部依賴、制約等復(fù)雜關(guān)系。

不難看出，設(shè)計(jì)結(jié)構(gòu)矩陣從時(shí)間上表明了任務(wù)執(zhí)行的先后關(guān)系。對(duì)角線下方的元素表示來(lái)自前期任務(wù)的信息可以被后面的任務(wù)所利用；對(duì)角線上方的元素表示后期任務(wù)中產(chǎn)生的信息會(huì)導(dǎo)致前期任務(wù)的返工。

1.2 設(shè)計(jì)過(guò)程的DSM建模

單元模型是表達(dá)設(shè)計(jì)任務(wù)之間關(guān)聯(lián)關(guān)系的基本模型，在此基礎(chǔ)上可建立復(fù)雜產(chǎn)品的設(shè)計(jì)結(jié)構(gòu)矩陣，來(lái)表達(dá)其組成任務(wù)之間復(fù)雜的時(shí)序關(guān)系與關(guān)聯(lián)關(guān)系。

設(shè)計(jì)結(jié)構(gòu)矩陣是一個(gè)N階的方陣，矩陣的行和列分別對(duì)應(yīng)各個(gè)任務(wù)，矩陣的元素1和0代表任務(wù)之間是否有依賴，1表示有依賴，0表示無(wú)依賴。通過(guò)直接對(duì)矩陣進(jìn)行坐標(biāo)變換，得到新的N階方陣，從而對(duì)設(shè)計(jì)任務(wù)進(jìn)行分析和重組，得到新的流程，實(shí)現(xiàn)對(duì)設(shè)計(jì)過(guò)程的有效規(guī)劃，以便對(duì)設(shè)計(jì)過(guò)程進(jìn)行分析、監(jiān)督和改進(jìn)。

規(guī)定DSM的重構(gòu)遵循以下原則：

（1）使DSM盡量成為下三角矩陣。

（2）如果矩陣某一行的元素全部為零，則對(duì)應(yīng)該行的設(shè)計(jì)任務(wù)可以單獨(dú)進(jìn)行，而不受其他設(shè)計(jì)任務(wù)的影響。因該任務(wù)不需要其他設(shè)計(jì)任務(wù)提供任何知識(shí)，所以該任務(wù)應(yīng)該盡可能早地實(shí)施和完成。

（3）如果矩陣某一列的元素全部為零，則對(duì)應(yīng)該列的設(shè)計(jì)應(yīng)該盡可能晚地在其他設(shè)計(jì)任務(wù)之后執(zhí)行。因?yàn)樵撊蝿?wù)沒(méi)有為其他設(shè)計(jì)任務(wù)提供知識(shí)，但可能需要其他設(shè)計(jì)任務(wù)提供信息。

DSM重構(gòu)的基本過(guò)程如圖2所示。首先根據(jù)設(shè)計(jì)任務(wù)之間的依賴關(guān)系（本文指設(shè)計(jì)任務(wù)間的參數(shù)依賴關(guān)系）建立設(shè)計(jì)任務(wù)的有向圖。從圖2可以看出，該產(chǎn)品的設(shè)計(jì)可分成7個(gè)設(shè)計(jì)任務(wù)。在此基礎(chǔ)上，根據(jù)圖1所描述的單元模型，建立設(shè)計(jì)任務(wù)的初始DSM描述模型。然后，按照DSM的重構(gòu)原則，求出重構(gòu)后的DSM，并確定有順序關(guān)系、并行關(guān)系和耦合關(guān)系的設(shè)計(jì)任務(wù)及設(shè)計(jì)任務(wù)的優(yōu)先級(jí)，建立設(shè)計(jì)流程圖。

2 DSM到Petri網(wǎng)的映射算法

復(fù)雜產(chǎn)品設(shè)計(jì)過(guò)程中，DSM建立的模型相當(dāng)龐大，并且對(duì)設(shè)計(jì)過(guò)程的閱讀也缺乏整體性的把握。雖已有研究通過(guò)建立層次DSM將設(shè)計(jì)過(guò)程進(jìn)行層次化、模塊化處理，但在耦合任務(wù)多的產(chǎn)品設(shè)計(jì)中，設(shè)計(jì)任務(wù)的時(shí)序關(guān)系往往比較混亂，也不能避免設(shè)計(jì)參數(shù)在傳遞過(guò)程中存在的沖突，因此需要一種清晰的圖形化建模方法，來(lái)反映設(shè)計(jì)過(guò)程中的耦合關(guān)系，并描繪設(shè)計(jì)全過(guò)程。Petri網(wǎng)具有堅(jiān)實(shí)的數(shù)學(xué)基礎(chǔ)和易理解的圖形表示特征，這使得用Petri網(wǎng)進(jìn)行分析和交流都非常方便。為此，本文采用DSM到Petri網(wǎng)的映射算法，實(shí)現(xiàn)DSM到Petri網(wǎng)的映射，從而將設(shè)計(jì)過(guò)程以著色Petri網(wǎng)的形式表現(xiàn)出來(lái)。

Petri網(wǎng)由三種基本要素（庫(kù)所、變遷以及連接兩者的?。┙M成。通常情況下，一個(gè)設(shè)計(jì)任務(wù)可以用設(shè)計(jì)資源、設(shè)計(jì)行為和滿足設(shè)計(jì)的閥值進(jìn)行描述，這恰好對(duì)應(yīng)Petri網(wǎng)的三要素，庫(kù)所存放設(shè)計(jì)資源，資源量用托肯表示；變遷表示設(shè)計(jì)行為；弧上的權(quán)重表示滿足設(shè)計(jì)的閥值，每個(gè)設(shè)計(jì)任務(wù)根據(jù)定義1進(jìn)行Petri網(wǎng)描述。

圖2 設(shè)計(jì)過(guò)程的DSM建模

定義1 設(shè)N＊＝ （P，T，F(xiàn)＊）為一個(gè)Petri網(wǎng)的三元組，對(duì)于x∈P∪T，滿足

其中，P為庫(kù)所的集合；T為變遷的集合；F＊為庫(kù)所和變遷間有向弧的集合；·x為x的前集或輸入集；x·為x的后集或輸出集；·x∪x·為x元素的外延，x＝ （·x）·＝·（x·）。

庫(kù)所對(duì)應(yīng)著設(shè)計(jì)任務(wù)的條件，即活動(dòng)發(fā)生的因果關(guān)系，變遷對(duì)應(yīng)著過(guò)程的可執(zhí)行活動(dòng)，庫(kù)所中的托肯代表一個(gè)過(guò)程實(shí)例的狀態(tài)。一個(gè)變遷有一定數(shù)量的輸入庫(kù)所和輸出庫(kù)所（分別代表事件的前集條件和后集條件）。當(dāng)某事件的前集條件成立時(shí)，該設(shè)計(jì)任務(wù)（變遷）發(fā)生，并將托肯轉(zhuǎn)移到后集庫(kù)所中。

已有的定義只定義了條件（設(shè)計(jì)資源）與事件（設(shè)計(jì)任務(wù)）之間的關(guān)系，為了清晰描述設(shè)計(jì)任務(wù)與設(shè)計(jì)任務(wù)之間的聯(lián)系（變遷與變遷之間的關(guān)聯(lián)），將定義1進(jìn)行推廣，得到定義2。

定義2 設(shè)N＊＝ （P，T，F(xiàn)＊）為一個(gè)Petri網(wǎng)的三元組，對(duì)于x∈P∪T，滿足

其中，＊x為x的前序或輸入序；x＊為x的后序或輸出序；＊x∪x＊為x元素的序外延。

本文依據(jù)參數(shù)關(guān)聯(lián)定義任務(wù)間的時(shí)序，如圖1a中具有串聯(lián)關(guān)系的設(shè)計(jì)任務(wù)A與B。設(shè)計(jì)任務(wù)A將設(shè)計(jì)參數(shù)傳遞給設(shè)計(jì)任務(wù)B后，設(shè)計(jì)任務(wù)B才能夠順利進(jìn)行，稱為A是B的前序任務(wù)，B為A的后序任務(wù)，設(shè)計(jì)任務(wù)A、B為串行關(guān)系。如果兩個(gè)相鄰的變遷（設(shè)計(jì)任務(wù)）互為前序和后序關(guān)系，則兩種設(shè)計(jì)活動(dòng)是耦合關(guān)系，存在數(shù)據(jù)參數(shù)的相互傳遞。因此在協(xié)同設(shè)計(jì)環(huán)境下，這兩個(gè)設(shè)計(jì)任務(wù)最好劃分為在一個(gè)設(shè)計(jì)小組內(nèi)進(jìn)行。

以圖2所示的設(shè)計(jì)過(guò)程為例，說(shuō)明DSM向Petri網(wǎng)的映射算法。該設(shè)計(jì)共有7個(gè)設(shè)計(jì)任務(wù)，它們之間設(shè)計(jì)參數(shù)傳遞關(guān)系如圖3所示。

圖3 設(shè)計(jì)任務(wù)間設(shè)計(jì)參數(shù)傳遞的樹(shù)狀圖

DSM向Petri網(wǎng)的映射算法如下：

（1）根據(jù)設(shè)計(jì)任務(wù)間的參數(shù)傳遞關(guān)系建立DSM。

（2）遍歷DSM中值為1的元素，找出其縱橫坐標(biāo)，建立設(shè)計(jì)參數(shù)傳遞關(guān)系集：M ＝ ｛（A，C），（A，F(xiàn)），（C，B），（C，F(xiàn)），（F，D），（F，E），（F，G），（B，C），（B，G），（B，D）｝。

（3）搜索DSM，標(biāo)識(shí)任務(wù)間的時(shí)序關(guān)系，即判定該任務(wù)是前序任務(wù)、后序任務(wù)還是與其他任務(wù)沒(méi)有聯(lián)系（可進(jìn)行并行設(shè)計(jì)），具體方法為：?m ∈｛A，B，C，D｝，?n∈ ｛A，B，C，D｝，如果 m和n之間的關(guān)聯(lián)（m，n）∈M，那么任務(wù)m是前序任務(wù)，n為后序任務(wù)，否則他們之間沒(méi)有參數(shù)傳遞，為并序關(guān)系。

（4）將每個(gè)設(shè)計(jì)任務(wù)分為設(shè)計(jì)任務(wù)準(zhǔn)備和執(zhí)行兩個(gè)階段。其中，設(shè)計(jì)任務(wù)準(zhǔn)備用庫(kù)所表示，庫(kù)所包含設(shè)計(jì)資源；執(zhí)行用變遷表示，代表設(shè)計(jì)。因此7個(gè)設(shè)計(jì)任務(wù)可以分成7種狀態(tài)和7種行為，即P ＝ ｛Asat，Bsat，Csat，Dsat，Esat，F(xiàn)sat，Gsat｝，T ＝｛Aact，Bact，Cact，Dact，Eact，F(xiàn)act，Gact｝，P 中的Asat～Gsat為庫(kù)所，T中的Aact～Gact為變遷，連接兩者的關(guān)系用有向弧來(lái)表示。

（5）?Psat，i∈P及對(duì)應(yīng)的 ?tact，i∈T，任取有向弧f ＝ （Psat，i，tact，i）∈F＊，這三者構(gòu)成了設(shè)計(jì)任務(wù)的一組Petri網(wǎng)單元，構(gòu)成的三元組單元為｛Psat，i，tact，i，（Psat，i，tact，i）｝。

（6）每組Petri網(wǎng)單元之間，即設(shè)計(jì)任務(wù)間的關(guān)聯(lián)，用一條由變遷指向庫(kù)所的有向弧表示，即（tact，i，Psat，i＋1）。Psat，i＋1為 下 一 個(gè) 設(shè) 計(jì) 任 務(wù) 的 準(zhǔn) 備階段。

（7）最后添加輸出庫(kù)所，以及末端變遷與輸出庫(kù)所之間的有向弧聯(lián)系，形成一個(gè)完整的Petri網(wǎng)。

因此，根據(jù)DSM向Petri網(wǎng)的映射算法，將圖2所示的設(shè)計(jì)過(guò)程轉(zhuǎn)化為如圖4所示的Petri網(wǎng)。由于B、C間為耦合關(guān)系，將B、C建立層次化子模型單獨(dú)描述。從圖4可以看出，設(shè)計(jì)任務(wù)F需在設(shè)計(jì)任務(wù)B與設(shè)計(jì)任務(wù)C的耦合任務(wù)B×C及設(shè)計(jì)任務(wù)A均完成后才能進(jìn)行，此外，F(xiàn)的后序任務(wù)為G、E、D。

圖4 DSM向Petri映射的模型

3 基于著色Petri網(wǎng)過(guò)程建模及分析

著色Petri網(wǎng)是在Petri網(wǎng)的基礎(chǔ)上提出的一種擴(kuò)展的Petri網(wǎng)模型，用于建立復(fù)雜的過(guò)程模型。相比Petri網(wǎng)，它具有表達(dá)能力強(qiáng)、結(jié)構(gòu)簡(jiǎn)單、層次清晰等優(yōu)點(diǎn)，因此本文采用著色Petri網(wǎng)對(duì)設(shè)計(jì)過(guò)程進(jìn)行建模。

3.1 基于著色Petri的設(shè)計(jì)過(guò)程建模

著色Petri網(wǎng)模型要素（庫(kù)所、變遷、?。┍硎驹O(shè)計(jì)過(guò)程的要素（設(shè)計(jì)資源、設(shè)計(jì)行為、操作），用這些模型要素的屬性來(lái)區(qū)分同一類(lèi)型系統(tǒng)要素的不同個(gè)體。著色Petri網(wǎng)中，稱這些屬性為色彩。著色Petri網(wǎng)將Petri網(wǎng)中的托肯擴(kuò)展為顏色集，對(duì)托肯著以不同的顏色，其實(shí)質(zhì)就是對(duì)托肯進(jìn)行分類(lèi)，以表達(dá)復(fù)雜的對(duì)象。

設(shè)計(jì)過(guò)程中的著色Petri網(wǎng)建?？梢酝ㄟ^(guò)定義3完成。

定義3 產(chǎn)品設(shè)計(jì)過(guò)程階段的建模用九元組著色 Petri網(wǎng) 來(lái) 描 述，即 （Σ，P，T，A＋，N＋，C＋，G＋，E＋，I），且各元素需滿足下列條件：

（1）Σ是有限非空類(lèi)的集合，稱為顏色集。顏色集決定了著色Petri網(wǎng)中的類(lèi)型、運(yùn)算和函數(shù)。

（2）P是各個(gè)設(shè)計(jì)任務(wù)前集中資源的有限集合。

（3）T是各個(gè)設(shè)計(jì)任務(wù)的有限集合。

（4）A＋是設(shè)計(jì)任務(wù)和設(shè)計(jì)條件之間傳遞權(quán)重的有限集合，并且P∩T＝P∩A＋＝T∩A＋＝Φ。

（5）C＋是由設(shè)計(jì)任務(wù)集合映射到顏色集的顏色函數(shù)。

（6）N＋為節(jié)點(diǎn)函數(shù)，是A＋映射到P×T∪T×P的函數(shù)，這里×表示P與T的笛卡爾積。

（7）G＋為由設(shè)計(jì)任務(wù)映射到表達(dá)式的守衛(wèi)函數(shù)，其值為布爾型變量類(lèi)型，且函數(shù)中的變量屬于Σ。

（8）E＋是由弧映射到表達(dá)式的函數(shù)，其值必須屬于此弧響應(yīng)庫(kù)所的顏色集上的多重集。

（9）I是由設(shè)計(jì)資源映射到表達(dá)式的初始化函數(shù)。其值必須屬于設(shè)計(jì)資源顏色集上的多重集。

結(jié)合定義3，著色Petri網(wǎng)中的映射關(guān)系采用標(biāo)注的形式體現(xiàn)。Petri網(wǎng)三元組的標(biāo)注順序如圖5所示。我們規(guī)定：①庫(kù)所P的標(biāo)注順序是名字、類(lèi)型／顏色集、初始標(biāo)識(shí)；②變遷T的標(biāo)注順序是名字、警衛(wèi)函數(shù)、時(shí)間延遲、代碼段；③弧f只有一個(gè)標(biāo)注，標(biāo)注可為函數(shù)、常數(shù)、變量等。

著色Petri網(wǎng)具有有效的分析技術(shù)和工具，其中的CPN tools是丹麥奧爾胡斯大學(xué)和美國(guó)宇航局聯(lián)合開(kāi)發(fā)的一個(gè)集編輯、仿真和分析于一體的著色Petri網(wǎng)工具，它結(jié)合了Petri網(wǎng)可以描述開(kāi)發(fā)過(guò)程以及程序語(yǔ)言可以定義數(shù)據(jù)類(lèi)型和操作數(shù)據(jù)的特點(diǎn)。因而CPN tools既可以用來(lái)驗(yàn)證系統(tǒng)的功能或邏輯的正確性，又可以進(jìn)行系統(tǒng)性能的評(píng)價(jià)，為此，本文用CPN tools進(jìn)行設(shè)計(jì)過(guò)程的建立及仿真。

圖5 Petri網(wǎng)三元組元素的標(biāo)注順序

3.2 著色Petri網(wǎng)的分析

建立了設(shè)計(jì)過(guò)程的著色Petri網(wǎng)模型后，可對(duì)其進(jìn)行分析。對(duì)著色Petri網(wǎng)的分析包括定性分析和定量分析。

3.2.1著色Petri網(wǎng)的定性分析

著色Petri網(wǎng)定性分析是指通過(guò)分析Petri網(wǎng)模型邏輯上的正確性來(lái)消除異常結(jié)構(gòu)。用CPN tools進(jìn)行建模時(shí)，著色Petri網(wǎng)模型自行進(jìn)行仿真并生成空間狀態(tài)報(bào)告，空間狀態(tài)報(bào)告詳細(xì)描述該著色Petri網(wǎng)模型的可達(dá)性、有界性、活性、回復(fù)性、公平性等性質(zhì)。產(chǎn)品開(kāi)發(fā)過(guò)程中，當(dāng)完成其著色Petri網(wǎng)模型后，通過(guò)空間狀態(tài)報(bào)告可發(fā)現(xiàn)所建模型中存在的不可回復(fù)和死的變遷，以及死鎖發(fā)生在哪些變遷（事件）處。在此基礎(chǔ)上，可對(duì)方案進(jìn)行有效修改，避免產(chǎn)品開(kāi)發(fā)繁復(fù)的迭代過(guò)程，減少設(shè)計(jì)開(kāi)發(fā)的風(fēng)險(xiǎn)。

3.2.2著色Petri網(wǎng)的定量分析

著色Petri網(wǎng)在邏輯上正確時(shí)，需判斷設(shè)計(jì)過(guò)程能否達(dá)到設(shè)計(jì)要求，因而要進(jìn)行定量分析。通常情況下，可利用CPN tools的監(jiān)視功能以及庫(kù)所和變遷的時(shí)間閥進(jìn)行系統(tǒng)建模的定量分析。從模型中獲取有效數(shù)據(jù)，并對(duì)數(shù)據(jù)進(jìn)行分析和比較，可以很好地研究系統(tǒng)的性能。定量分析可用在以下兩個(gè)方面：

（1）資源沖突及資源利用率分析。通過(guò)Petri網(wǎng)對(duì)資源屬性的分析，可以更方便地進(jìn)行資源的Petri網(wǎng)建模。設(shè)計(jì)過(guò)程不可避免地發(fā)生資源利用沖突，通過(guò)著色Petri網(wǎng)對(duì)資源進(jìn)行描述，可以得到不同顏色的集合，Petri網(wǎng)模型描述了資源的利用情況，當(dāng)發(fā)現(xiàn)沖突則停止仿真分析，并進(jìn)行錯(cuò)誤檢查。仿真過(guò)程中，當(dāng)完成了定性仿真，并確定沒(méi)有沖突，可通過(guò)定量分析得到各資源的利用率情況。每個(gè)資源的利用率各不相同，當(dāng)高利用率資源有損耗時(shí)，設(shè)計(jì)過(guò)程經(jīng)過(guò)一定次數(shù)的循環(huán)后，這些設(shè)計(jì)資源有可能不足以滿足設(shè)計(jì)任務(wù)所需要的量，造成資源沖突，此刻，我們需更改設(shè)計(jì)過(guò)程，使其在設(shè)計(jì)完成前不能有死鎖的發(fā)生。

（2）時(shí)間分析。設(shè)計(jì)過(guò)程的一個(gè)非常重要的參數(shù)是時(shí)間。著色Petri網(wǎng)可以模擬設(shè)計(jì)過(guò)程的執(zhí)行情況，得到設(shè)計(jì)過(guò)程的時(shí)間消耗特征，如反應(yīng)時(shí)間、等待時(shí)間、項(xiàng)目設(shè)計(jì)進(jìn)度等。設(shè)計(jì)過(guò)程中，有不同的設(shè)計(jì)方案，在方案抉擇中，通過(guò)著色Petri網(wǎng)的建模并經(jīng)過(guò)多次仿真，得到各個(gè)設(shè)計(jì)方案的平均設(shè)計(jì)時(shí)間，可選擇用時(shí)最少的方案，并通過(guò)調(diào)整方案，得到最滿意的設(shè)計(jì)方案。

4 實(shí)例

橋式起重機(jī)是橫架于車(chē)間﹑倉(cāng)庫(kù)和料場(chǎng)上空進(jìn)行物料調(diào)運(yùn)的起重設(shè)備，下面以橋式起重機(jī)小車(chē)為例說(shuō)明基于DSM和著色Petri網(wǎng)的產(chǎn)品設(shè)計(jì)過(guò)程建模與仿真策略的應(yīng)用。橋式起重機(jī)小車(chē)的基本組成如圖6所示。

圖6 橋式起重機(jī)小車(chē)實(shí)物圖

4.1 基于DSM的設(shè)計(jì)過(guò)程改進(jìn)與重組

根據(jù)橋式起重機(jī)小車(chē)的結(jié)構(gòu)設(shè)計(jì)特點(diǎn)，我們將其設(shè)計(jì)要求進(jìn)行分解，確定其設(shè)計(jì)任務(wù)主要由以下部件設(shè)計(jì)的子任務(wù)組成：1.滑輪組和吊鉤組；2.鋼絲繩；3.起升動(dòng)滑輪；4.卷筒；5.起升電動(dòng)機(jī)；6.起升減速器；7.制動(dòng)器；8.聯(lián)軸器；9.高速浮動(dòng)軸；10.車(chē)輪與軌道；11.運(yùn)行電動(dòng)機(jī)；12.運(yùn)行減速器；13.運(yùn)行制動(dòng)器；14.高速聯(lián)軸器和制動(dòng)輪；15.低速聯(lián)軸器；16.低速浮動(dòng)軸；17.小車(chē)架。這17個(gè)設(shè)計(jì)任務(wù)是有參數(shù)傳遞的，如子任務(wù)1設(shè)計(jì)參數(shù)需要傳遞給子任務(wù)4、5、6、7，子任務(wù)14的設(shè)計(jì)參數(shù)要傳遞給11、13、15，其他依次類(lèi)推。根據(jù)圖1所示的構(gòu)造設(shè)計(jì)結(jié)構(gòu)矩陣基本單元模型，可以建立表1所示的橋式起重機(jī)設(shè)計(jì)任務(wù)矩陣，即初始DSM描述。

根據(jù)設(shè)計(jì)結(jié)構(gòu)矩陣的重組法則，通過(guò)對(duì)表1所示的設(shè)計(jì)矩陣進(jìn)行變換，可得到表2所示的新矩陣，即規(guī)劃DSM描述。

表1 橋式起重機(jī)初始DSM描述

表2 橋式起重機(jī)規(guī)劃DSM描述

規(guī)劃后的設(shè)計(jì)結(jié)構(gòu)矩陣可以提煉出2組耦合任務(wù)集：5、6、8屬耦合關(guān)系，11、12、13屬耦合關(guān)系。因此，把它們按照聚類(lèi)關(guān)系分配在可順序執(zhí)行設(shè)計(jì)的2個(gè)小組內(nèi)完成其設(shè)計(jì)。根據(jù)DSM向Petri網(wǎng)的映射關(guān)系得到用Petri網(wǎng)表示的兩組耦合任務(wù)基礎(chǔ)模型，如圖7所示。

圖7 耦合設(shè)計(jì)任務(wù)的Petri網(wǎng)表示

4.2 DSM向Petri網(wǎng)映射及模塊化設(shè)計(jì)流程的構(gòu)建

據(jù)DSM向Petri網(wǎng)的映射算法，我們將橋式起重機(jī)DSM向Petri網(wǎng)映射，得到圖8所示的基于Petri網(wǎng)的設(shè)計(jì)過(guò)程模型。表3、表4所示為橋式起重機(jī)設(shè)計(jì)過(guò)程Petri網(wǎng)模型中，庫(kù)所和變遷的含義。由著色Petri網(wǎng)可以得到T5、T6、T8相互耦合，T11、T12、T13相互耦合，而它們之間又沒(méi)有參數(shù)傳遞，可以并行執(zhí)行，由此描述設(shè)計(jì)過(guò)程的時(shí)序關(guān)系。

圖8 基于DSM的小車(chē)設(shè)計(jì)過(guò)程著色Petri網(wǎng)模型

表3 設(shè)計(jì)過(guò)程中庫(kù)所含義對(duì)照表

表4 設(shè)計(jì)過(guò)程中變遷含義對(duì)照表

實(shí)際生產(chǎn)過(guò)程中，要求縮短產(chǎn)品的設(shè)計(jì)周期，產(chǎn)品設(shè)計(jì)也不是順序進(jìn)行的，而是利用模塊化、層次化、資源利用最大化的產(chǎn)品設(shè)計(jì)方法，來(lái)縮短設(shè)計(jì)周期，使產(chǎn)品快速上市，形成產(chǎn)品競(jìng)爭(zhēng)力。因此，通過(guò)對(duì)著色Petri網(wǎng)模型的分析，按照模塊化設(shè)計(jì)原則，確定將橋式起重機(jī)小車(chē)的設(shè)計(jì)由5個(gè)設(shè)計(jì)小組來(lái)完成，即小車(chē)架設(shè)計(jì)小組（Team 1）、車(chē)輪和軌道設(shè)計(jì)小組（Team 2）、小車(chē)運(yùn)行機(jī)構(gòu)模塊設(shè)計(jì)小組（Team 3）、鋼絲繩卷繞系統(tǒng)設(shè)計(jì)小組（Team 4）和傳動(dòng)裝置設(shè)計(jì)小組（Team 5）。各個(gè)小組所包含的設(shè)計(jì)任務(wù)如表5所示。

表5 設(shè)計(jì)小組的劃分

設(shè)計(jì)模塊之間存在著時(shí)序關(guān)系，由著色Petri網(wǎng)模型可以得出具有時(shí)序關(guān)系的橋式起重機(jī)模塊化設(shè)計(jì)流程，如圖9所示。

圖9 橋式起重機(jī)模塊化設(shè)計(jì)流程

在建立有優(yōu)先順序的多個(gè)設(shè)計(jì)模塊模型時(shí)，通過(guò)引入反庫(kù)所的形式來(lái)反映變遷（設(shè)計(jì)任務(wù)）發(fā)生的先后。

4.3 設(shè)計(jì)任務(wù)優(yōu)先級(jí)基本單元模型

本文利用反庫(kù)所構(gòu)造變遷優(yōu)先級(jí)別，來(lái)反映不同設(shè)計(jì)小組執(zhí)行設(shè)計(jì)任務(wù)的先后順序。圖10中，由于弧 T1－P2、P2－T2與 T2－Antiplace、Anti－place－T1的方向相反，所以庫(kù)所Anti－place叫做反庫(kù)所。下面給出反映設(shè)計(jì)任務(wù)優(yōu)先級(jí)別的基本單元模型。

圖10 利用反庫(kù)所構(gòu)造的設(shè)計(jì)任務(wù)優(yōu)先模型

設(shè)計(jì)任務(wù)T2處在使能狀態(tài)，激發(fā)T2，使得T2的后集P3和Anti－place增加托肯，當(dāng)庫(kù)所Anti－place里的托肯增加到其連接變遷T3的弧上的權(quán)重時(shí)（權(quán)重為5｀e，表示此設(shè)計(jì)任務(wù)需要5個(gè)單元的資源），由于T3滿足激發(fā)的前提條件（T3的兩個(gè)前集中的托肯數(shù)均小于它們到變遷T3連接的權(quán)重），那么我們說(shuō)T2的后序設(shè)計(jì)任務(wù)T3滿足了激發(fā)條件。設(shè)計(jì)過(guò)程模型中，此優(yōu)先級(jí)模型常用在設(shè)計(jì)模塊的優(yōu)先順序的構(gòu)造上。

4.4 基于著色Petri網(wǎng)的資源沖突仿真

根據(jù)上述分析，采用CPN ML描述方法，建立資源沖突環(huán)境下的橋式起重機(jī)小車(chē)機(jī)構(gòu)的設(shè)計(jì)過(guò)程著色Petri網(wǎng)模型。首先，根據(jù)定義3，給出其著色Petri網(wǎng)模型的定義。

（1）設(shè)計(jì)過(guò)程的著色Petri網(wǎng)模型的三個(gè)元素：設(shè)計(jì)資源（庫(kù)所）、設(shè)計(jì)行為（變遷）和連接兩者的有向弧。

（2）定義起重機(jī)小車(chē)設(shè)計(jì)資源有5種，即人力資源、計(jì)算機(jī)硬件資源、計(jì)算機(jī)軟件資源、物料資源和信息資源。因此設(shè)定顏色集：colset PACKAGE＝with human｜hardware｜software｜material｜information來(lái)表示設(shè)計(jì)資源集合。

（3）初始函數(shù)：用于表示設(shè)計(jì)資源映射到表達(dá)式的初始函數(shù)。如鋼絲繩卷繞系統(tǒng)設(shè)計(jì)小組的初始設(shè)計(jì)資源，是一個(gè)多重集，其初始函數(shù)為1｀hu－man＋＋5｀hardware＋＋1｀software＋＋1｀material＋＋2｀information。

（4）設(shè)計(jì)任務(wù)映射到表達(dá)式的守衛(wèi)函數(shù)。這里我們沒(méi)有定義守衛(wèi)函數(shù)，守衛(wèi)函數(shù)為空。因此守衛(wèi)函數(shù)的布爾型表達(dá)默認(rèn)為true。

（5）弧表達(dá)式函數(shù)：表示生成一個(gè)依賴于相鄰庫(kù)所顏色集的多重集合。如鋼絲繩卷繞系統(tǒng)設(shè)計(jì)小組Team 4設(shè)計(jì)完成后，資源釋放的量值，其弧表達(dá)式函數(shù)可用多重集a＋＋b表示。

根據(jù)模塊化設(shè)計(jì)、并行設(shè)計(jì)及資源利用最大化要求，按照定義3的規(guī)范，即可建立面向資源沖突檢測(cè)的、橋式起重機(jī)小車(chē)設(shè)計(jì)流程圖，并利用CPN tools建立其仿真模型，如圖11所示。

圖11 橋式起重機(jī)小車(chē)設(shè)計(jì)過(guò)程仿真模型

圖11所示的著色Petri網(wǎng)模型體現(xiàn)了設(shè)計(jì)過(guò)程的層次性（圖11中的2個(gè)耦合任務(wù)采用替代變遷連接子頁(yè)）、離散性（劃分為5個(gè)設(shè)計(jì)模塊便于設(shè)計(jì)并行，縮短設(shè)計(jì)時(shí)間）、分布性及動(dòng)態(tài)性（資源的動(dòng)態(tài)性分配）的需求，其建模具有合理性。

4.5 著色Petri網(wǎng)的分析

根據(jù)圖11建立的橋式起重機(jī)小車(chē)設(shè)計(jì)過(guò)程仿真模型，利用CPN tools軟件，可生成其狀態(tài)空間報(bào)表，從中可以得到所建立的著色Petri網(wǎng)模型的一系列的性質(zhì)。這里截取報(bào)告的一部分來(lái)分析所建立的著色Petri網(wǎng)的有界性、活性和公平性部分，如圖12所示。

當(dāng)過(guò)程被鎖住，不能繼續(xù)進(jìn)行，稱為“死鎖”；設(shè)計(jì)被黏住，不能繼續(xù)進(jìn)行，稱為“活鎖”。圖12中，整個(gè)著色Petri網(wǎng)中的“死鎖”發(fā)生在變遷Begin T1和Begin T2處。我們發(fā)現(xiàn)，變遷Begin T1和變遷Begin T2各自的前集庫(kù)所Begin 1和庫(kù)所Begin 2并沒(méi)有進(jìn)入流程發(fā)揮作用。此網(wǎng)中不存在“活鎖”的情況，即設(shè)計(jì)過(guò)程沒(méi)有被“黏住”進(jìn)入死循環(huán)。

表達(dá)設(shè)計(jì)模塊的時(shí)序關(guān)系時(shí)，加入反庫(kù)所的形式，將設(shè)計(jì)過(guò)程劃分為5個(gè)設(shè)計(jì)模塊并由5個(gè)設(shè)計(jì)小組完成。前序設(shè)計(jì)模塊完成后，后序設(shè)計(jì)模塊才能進(jìn)行；前序任務(wù)所需的資源不足時(shí)，后序設(shè)計(jì)任務(wù)的資源可以優(yōu)先釋放，來(lái)滿足前序設(shè)計(jì)任務(wù)，從而避免由于資源沖突造成的“活鎖”和“死鎖”狀態(tài)。

4.6 DSM與Petri網(wǎng)集成建模評(píng)價(jià)效率及評(píng)價(jià)指標(biāo)

通過(guò)構(gòu)建DSM可以看出，每個(gè)設(shè)計(jì)任務(wù)均有明確的前序任務(wù)和后序任務(wù)，但無(wú)法判斷此設(shè)計(jì)任務(wù)處于整個(gè)流程的具體位置，也不知何時(shí)會(huì)進(jìn)行此項(xiàng)任務(wù)，缺乏對(duì)設(shè)計(jì)流程的整體的監(jiān)控和管理。但是通過(guò)DSM和Petri網(wǎng)的集成建模，根據(jù)Petri網(wǎng)的仿真，很容易得出順序任務(wù)、并行任務(wù)及耦合任務(wù)，且設(shè)計(jì)流程一目了然。Petri網(wǎng)的替代變遷體現(xiàn)出設(shè)計(jì)任務(wù)的層次性，及仿真過(guò)程的動(dòng)態(tài)性、離散性等，相對(duì)于其他的過(guò)程建模所體現(xiàn)出的僅僅描述的方法，優(yōu)勢(shì)明顯。因此，結(jié)合DSM的任務(wù)重組及Petri網(wǎng)的仿真，在進(jìn)行設(shè)計(jì)過(guò)程建模時(shí)，具有實(shí)際意義。

圖12 狀態(tài)空間報(bào)告中的有界性、活性與公平性分析

5 結(jié)語(yǔ)

針對(duì)復(fù)雜產(chǎn)品在設(shè)計(jì)初期就要分析其設(shè)計(jì)的可行性，并對(duì)其進(jìn)行有效規(guī)劃，本文提出了將DSM與著色Petri網(wǎng)相結(jié)合的過(guò)程建模方法，其主要工作有：①提出了一種設(shè)計(jì)過(guò)程的單元化建模方法和基于DSM重構(gòu)的設(shè)計(jì)過(guò)程建模方法；②結(jié)合DSM和Petri網(wǎng)的過(guò)程建模優(yōu)點(diǎn)，推導(dǎo)出由DSM到Petri網(wǎng)的映射算法，并構(gòu)建了與DSM單元矩陣相對(duì)應(yīng)的Petri網(wǎng)單元模型；③將基于著色Petri網(wǎng)的過(guò)程建模及分析方法，運(yùn)用在機(jī)械產(chǎn)品設(shè)計(jì)開(kāi)發(fā)領(lǐng)域，對(duì)產(chǎn)品的設(shè)計(jì)規(guī)劃、監(jiān)控及判斷設(shè)計(jì)方案優(yōu)劣有很好的參考價(jià)值。

本文中的研究仍有一定的局限性，如DSM向Petri網(wǎng)的映射僅限在Petri網(wǎng)的圖形表達(dá)上，因此不能用計(jì)算機(jī)自動(dòng)進(jìn)行映射；此網(wǎng)中雖然加入了優(yōu)先級(jí)概念，但是沒(méi)有加入時(shí)間的分析，及通過(guò)監(jiān)控分析數(shù)據(jù)來(lái)進(jìn)行分析建立的設(shè)計(jì)流程。此外，Petri網(wǎng)具有嚴(yán)格的數(shù)學(xué)表述方式，如何在Petri網(wǎng)嚴(yán)格數(shù)學(xué)形式的關(guān)聯(lián)矩陣和設(shè)計(jì)結(jié)構(gòu)矩陣之間建立一種聯(lián)系，從而滿足自動(dòng)映射；復(fù)雜產(chǎn)品過(guò)程模型建立后，如何根據(jù)資源的更改或增減實(shí)時(shí)修改Petri網(wǎng)模型，增強(qiáng)Petri網(wǎng)的可拓展性；如何提高模型驗(yàn)證、性能分析方法等的有效性，這些都有待繼續(xù)深入研究。

［1］王嘯峰，卞致瑞.基于有色Petri網(wǎng)的產(chǎn)品協(xié)同開(kāi)發(fā)過(guò)程建模方法研究［J］.工程設(shè)計(jì)學(xué)報(bào)，2010，17（2）：91－97.Wang Xiaofeng，Bian Zhirui.Modeling Technology of Product Collaborative Development Process Based on Colored Petri Nets［J］.Journal of Engineering Design，2010，17（2）：91－97.

［2］祖旭.基于Petri網(wǎng)理論的產(chǎn)品開(kāi)發(fā)過(guò)程建模方法研究 ［D］.大連：大連理工大學(xué)，2005.

［3］呂超，李?lèi)?ài)平，徐立云.基于OPN與UML的可重組制造系統(tǒng)建模方法研究［J］.中國(guó)機(jī)械工程，2009，20（22）：2680－2686.LüChao，Li Aiping，Xu Liyun.Research on Modeling of Reconfigurable Manufacturing System Based on OPN and UML［J］.China Mechanical Engineering，2009，20（22）：2680－2686.

［4］趙亮，許正蓉.基于雙層次DSM技術(shù)的多技術(shù)產(chǎn)品設(shè)計(jì)方法［J］.中國(guó)機(jī)械工程，2008，19（3）：338－342.Zhao Liang，Xu Zhengrong.Two－layer DSM Method for Multi－tech System Product Design［J］.China Mechanical Engineering，2008，19（3）：338－342.

［5］李瀟波，趙亮，許正蓉.基于改進(jìn)的DSM耦合任務(wù)規(guī)劃方法的研究［J］.中國(guó)機(jī)械工程，2010，21（2）：212－217.Li Xiaobo，Zhao Liang，Xu Zhengrong.Research on Improved DSM Algorithm for Coupling Task Order Programming［J］.China Mechanical Engineering，2010，21（2）：212－217.

［6］Shen R L，Yang Chengying，Li Jiahong.Analysis of the Problem Description in the Algorithm for Inventive Problem Solving Using Petri Nets［J］.Knowledge－Based Systems，2012，35：290－303.

［7］曲長(zhǎng)征，于永利，陶鳳和.無(wú)優(yōu)先權(quán)維修活動(dòng)及其Petri網(wǎng)建模［J］.中國(guó)機(jī)械工程，2011，22（2）：204－207.Qu Changzheng，Yu Yongli，Tao Fenghe.Non－priority Maintenance Activity and Modeling Based on Petri Net［J］.China Mechanical Engineering，2011，22（2）：204－207.

［8］Ha Seungchul，Suh Hyo－Won.A Timed Colored Petri Nets Modeling for Dynamic Workflow in Product Development Process［J］.Computers in Industry，2008，59：193－209.

［9］謝楠，李?lèi)?ài)平.基于擴(kuò)展隨機(jī)Petri網(wǎng)的可重組制造系統(tǒng)建模與分析方法［J］.機(jī)械工程學(xué)報(bào)，2006，42（12）：224－230.Xie Nan，Li Aiping.Modeling and Analysis of Reconfigurable Manufacturing System by Extended Stochastic Petri Nets［J］.Chinese Journal of Mechanical Engineering，2006，42（12）：224－230.

［10］李青.基于CPN軟件開(kāi)發(fā)過(guò)程建模［D］.東營(yíng)：中國(guó)石油大學(xué)（華東），2009.