式中,Rij,明確了發(fā)送對象子網(wǎng)OPi和接受對象子網(wǎng)OPj之間的消息傳遞關(guān)系。
式中,Gij——成為門的特殊變遷的有限集合,門變遷為位于OP的輸出端口OMP和OPj的輸入端口IMPj之間,與R有關(guān)的所有門合起來構(gòu)成系統(tǒng)中的門的集合;
OAij——從OPi的OMPi到門Gij的輸出弧的有限集合
船舶制造過程中,需要建立了四類對象子網(wǎng)(加工設(shè)備子網(wǎng)、運輸小車子網(wǎng)、緩沖單元子網(wǎng)及裝配設(shè)備子網(wǎng))間的消息傳遞模型,圖5所示為運輸小車對象(T O)、加工設(shè)備對象(PM O)及緩沖單元對象( WBO)之間的消息傳遞模型。

OAij——從OPi的OMPi到門Gij的輸出弧的有限集合

船舶制造過程中,需要建立了四類對象子網(wǎng)(加工設(shè)備子網(wǎng)、運輸小車子網(wǎng)、緩沖單元子網(wǎng)及裝配設(shè)備子網(wǎng))間的消息傳遞模型,圖5所示為運輸小車對象(T O)、加工設(shè)備對象(PM O)及緩沖單元對象( WBO)之間的消息傳遞模型。
