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