[00070434]一种基于混成时空Petri网模型上的CPS物理实体的形式化建模方法
技术详细介绍
摘要：本发明提出一种基于混成时空Petri网模型上的CPS物理实体的形式化建模方法，首先分析了信息物理融合系统（CPS）的特性后提出了一种合理的体系结构图，然后针对CPS中事件消息的时空特性和物理实体的动态变化性设计出一个新的事件表达方式。并在Petri网的基础上引入时空因素和连续变量，构造了混成时空Petri网模型，使其不仅能够描述物理实体逻辑及时间层次的行为，而且能够描述物理实体位置变迁所引起的状态变化。将其应用于实时事件CPS模型设计，从而得到一种新的CPS物理实体建模方法。该方法解决了CPS对实时性以及时空一致性的要求，并且考虑到物理环境的动态性引入连续变量，几乎适用于所有环境。为CPS的发展提供了基础。
