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