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