论文部分内容阅读
通过对CIMOSA功能视图和资源视图模型局限性的分析 ,定义了一类高级Petri网———分层对象时间Petri网 ,以及库所子网与子网代换 ,同时研究企业功能视图模型向HOTPN转换的语法规则 ,着重分析过程规则集到HOTPN的转换语法 ,并建立企业动态模型。在此基础上 ,建立了资源管理器、资源控制器以及资源执行器 ,确保和企业动态模型保持建模前后的一致性 ,方便模型之间的连接、调用和协调 ,便于实现仿真调度功能。
By analyzing the limitations of CIMOSA functional view and resource view model, we define a class of advanced Petri nets - hierarchical object time Petri nets, as well as substation subnets and subnet substitutions. At the same time, the paper studies the enterprise functional view model to HOTPN Conversion grammar rules, focusing on analysis of the process rules set to HOTPN conversion grammar, and the establishment of enterprise dynamic model. On this basis, the resource manager, the resource controller and the resource executor are established to ensure consistency with the enterprise dynamic model before and after modeling, and to facilitate connection, invocation and coordination among the models so as to realize the simulation scheduling function.