網(wǎng)庫(kù)所及變遷的含義如表7、表8所述。
船舶制造過程中，物理對(duì)象除了具有父類的屬性和方法外，還具有自己的屬性和方法，如加工設(shè)備物理對(duì)象還具有設(shè)備加工能力，設(shè)備類型和裝夾工件平均時(shí)間等屬性;另外還有一些方法，設(shè)置機(jī)床的狀態(tài)、刪除工件等。在對(duì)船舶制造過程模型的動(dòng)志仿真過程中，利用具體擴(kuò)展對(duì)象的方法特征化各物理對(duì)象，可以實(shí)現(xiàn)對(duì)船舶制造過程模型動(dòng)態(tài)特性的研究。
[pagebreak] 2、舟舶制造過程OPNs模型顏色集定義
對(duì)于船舶制造類復(fù)雜離散系統(tǒng)，為了簡(jiǎn)化模里將具有相似性質(zhì)的要素用一種顏色來區(qū)分，每一利顏色用一種標(biāo)識(shí)符來表示。有色Petri網(wǎng)能有效表示系統(tǒng)的時(shí)序關(guān)系，使系統(tǒng)成為一種具有自循環(huán)性質(zhì)的回路。顏色集C定義如下:
庫(kù)所是一種可以緩沖托肯顏色集的結(jié)構(gòu)，托肯被定義為結(jié)構(gòu)化數(shù)據(jù)，它由托肯頭和托肯體構(gòu)成，托肯頭包括優(yōu)先級(jí)、類型等屬性，托肯體是由用戶定義的數(shù)據(jù)區(qū)，而托肯的流動(dòng)可以用來描述信息交換，每個(gè)變遷發(fā)生，要將輸入的托肯消耗完并輸出新托肯。
3、舟舶制造過程OPNs模型對(duì)象間消息交互模型
對(duì)象是結(jié)構(gòu)化的模塊，一個(gè)簡(jiǎn)單對(duì)象就是一張具有輸入輸出端口的Petri網(wǎng)圖。端口在語(yǔ)義上等同于庫(kù)所。輸入端口只能作為變遷的輸入，輸出端口只能作為變遷的輸出。對(duì)象間由端口互連。
系統(tǒng)中各對(duì)象之間的消息傳遞依靠端口，即如果Pi∩Pj≠?則2個(gè)對(duì)象子網(wǎng)OPi和OPj有關(guān)聯(lián)。而對(duì)象間的相互作用關(guān)系則可以由一系列的門變遷實(shí)現(xiàn)，對(duì)象間的關(guān)系在數(shù)學(xué)上可以作如下定義
[pagebreak] 2、舟舶制造過程OPNs模型顏色集定義
對(duì)于船舶制造類復(fù)雜離散系統(tǒng)，為了簡(jiǎn)化模里將具有相似性質(zhì)的要素用一種顏色來區(qū)分，每一利顏色用一種標(biāo)識(shí)符來表示。有色Petri網(wǎng)能有效表示系統(tǒng)的時(shí)序關(guān)系，使系統(tǒng)成為一種具有自循環(huán)性質(zhì)的回路。顏色集C定義如下:
3、舟舶制造過程OPNs模型對(duì)象間消息交互模型
對(duì)象是結(jié)構(gòu)化的模塊，一個(gè)簡(jiǎn)單對(duì)象就是一張具有輸入輸出端口的Petri網(wǎng)圖。端口在語(yǔ)義上等同于庫(kù)所。輸入端口只能作為變遷的輸入，輸出端口只能作為變遷的輸出。對(duì)象間由端口互連。
系統(tǒng)中各對(duì)象之間的消息傳遞依靠端口，即如果Pi∩Pj≠?則2個(gè)對(duì)象子網(wǎng)OPi和OPj有關(guān)聯(lián)。而對(duì)象間的相互作用關(guān)系則可以由一系列的門變遷實(shí)現(xiàn)，對(duì)象間的關(guān)系在數(shù)學(xué)上可以作如下定義
