式中,CN为类的标识符,.PN为该类的父类,没有父类时,则该类为基类;ITF是类的对外接口,它描述了触发该类中方法运行所需要的信息Msg -Ini和运行后产生的新信息Msg - Outi;CPN:: = ,是一个标准的有色Petri网,其中P为库所集,T为变迁集,相应的c(P}和c(t)是与库所和变迁有关的色彩集,Mo是定义P在上的一个该类的缺省初始值。由于引入了面向对象的思想,模型的建立基于类结构,使得Petri网具有自己的数据结构,类的继承性为Petri网引进了层次化的设计思想,从而使系统模型层次清晰,易于理解和维护。
在船舶制造过程中,基本的类元素有加工设备,运输设备、缓冲单元及装配设备。为了建立系统中各物理对象的对象子网模型,将所有物理对象分为4种主要的抽象对象:加工设备对象(PMO)、运输设备对象(TO)、缓冲单元(WBO)对象及装配设备对象(AMO)。以下针对各个抽象对象子网进行设计,并对对象子网中库所及变迁进行描述。