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