基于面向对象Pet ri网的船舶制造过程建模_船舶制造_技术方向_技术方案

网库所及变迁的含义如表7、表8所述。

船舶制造过程中，物理对象除了具有父类的属性和方法外，还具有自己的属性和方法，如加工设备物理对象还具有设备加工能力，设备类型和装夹工件平均时间等属性;另外还有一些方法，设置机床的状态、删除工件等。在对船舶制造过程模型的动志仿真过程中，利用具体扩展对象的方法特征化各物理对象，可以实现对船舶制造过程模型动态特性的研究。
[pagebreak] 2、舟舶制造过程OPNs模型颜色集定义
对于船舶制造类复杂离散系统，为了简化模里将具有相似性质的要素用一种颜色来区分，每一利颜色用一种标识符来表示。有色Petri网能有效表示系统的时序关系，使系统成为一种具有自循环性质的回路。颜色集C定义如下:

库所是一种可以缓冲托肯颜色集的结构，托肯被定义为结构化数据，它由托肯头和托肯体构成，托肯头包括优先级、类型等属性，托肯体是由用户定义的数据区，而托肯的流动可以用来描述信息交换，每个变迁发生，要将输入的托肯消耗完并输出新托肯。
3、舟舶制造过程OPNs模型对象间消息交互模型
对象是结构化的模块，一个简单对象就是一张具有输入输出端口的Petri网图。端口在语义上等同于库所。输入端口只能作为变迁的输入，输出端口只能作为变迁的输出。对象间由端口互连。
系统中各对象之间的消息传递依靠端口，即如果Pi∩Pj≠∅则2个对象子网OPi和OPj有关联。而对象间的相互作用关系则可以由一系列的门变迁实现，对象间的关系在数学上可以作如下定义