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