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