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