式中,CN為類的標識符,.PN為該類的父類,沒有父類時,則該類為基類;ITF是類的對外接口,它描述了觸發該類中方法運行所需要的信息Msg -Ini和運行后產生的新信息Msg - Outi;CPN:: = ,是一個標準的有色Petri網,其中P為庫所集,T為變遷集,相應的c(P}和c(t)是與庫所和變遷有關的色彩集,Mo是定義P在上的一個該類的缺省初始值。由于引入了面向對象的思想,模型的建立基于類結構,使得Petri網具有自己的數據結構,類的繼承性為Petri網引進了層次化的設計思想,從而使系統模型層次清晰,易于理解和維護。
在船舶制造過程中,基本的類元素有加工設備,運輸設備、緩沖單元及裝配設備。為了建立系統中各物理對象的對象子網模型,將所有物理對象分為4種主要的抽象對象:加工設備對象(PMO)、運輸設備對象(TO)、緩沖單元(WBO)對象及裝配設備對象(AMO)。以下針對各個抽象對象子網進行設計,并對對象子網中庫所及變遷進行描述。
在船舶制造過程中,基本的類元素有加工設備,運輸設備、緩沖單元及裝配設備。為了建立系統中各物理對象的對象子網模型,將所有物理對象分為4種主要的抽象對象:加工設備對象(PMO)、運輸設備對象(TO)、緩沖單元(WBO)對象及裝配設備對象(AMO)。以下針對各個抽象對象子網進行設計,并對對象子網中庫所及變遷進行描述。