用Gj(j=1, 2，…n)代表船舶OPNs模型中的每一個門變遷，它們描述了對象間消息交互的激發(fā)條件。輸出端口用與(或)關(guān)系連接門變遷，表示當所有(或某些)相關(guān)的端口得到了所需的托肯時門變遷就激發(fā);相應(yīng)地，門變遷用與(或)關(guān)系連接到輸入庫所，表示托肯將流向與其相關(guān)的所有(或某些)輸入端口。
[pagebreak] 4、面向船舶產(chǎn)品制造過程OPNs建模實例
通過對OPNs模型對象子網(wǎng)及對象間消息傳遞模式的研究，可以建立一個船舶制造過程OPNs模型。將每個類對象子網(wǎng)封裝成一個物理對象子網(wǎng)，消息傳遞門封裝成一個活動變遷，用托肯代表工件在船舶制造過程模型中各個物理對象間的流動行為。本文在給出船舶制造過程OPNs模型體系結(jié)構(gòu)的基礎(chǔ)上，如圖6所示(由于篇幅所限不描述模型的構(gòu)建過程)，以船舶某一零件生產(chǎn)為例，闡述構(gòu)建船舶產(chǎn)品制造過程OPNs模型的過程。
