论文部分内容阅读
基于Petri网理论提出了虚拟拆卸网模型,关键技术是同步器对变迁的逻辑关系的确定.给出了其库所、变迁以及托肯的含义.基于基本对象模型提出了虚拟拆卸交互模型VDIM,研究了从网到VDIM的实体类型、事件类型、交互模式以及状态机的映射原理,并讨论了VDIM的模型可组合性.从联邦成员的划分,时间管理和同步管理三个方面研究了网模型和VDIM模型中仿真信息的融合,以便直接用于仿真系统的开发.最后的实例证明了研究的可行性.