描述CPS物理实体的时空Petri网模型

摘要：

时间Petri网在经典Petri网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(cyber-physical system,CPS)的产生需要对时间Petri网进行拓展.CPS集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境.对CPS的物理层面特点进行了深入分析,研究了CPS物理实体的属性及其位置变迁过程,提出了一种CPS物理实体的形式化建模方法.在时间Petri网的基础上引入了空间因素,构造了时空Petri网模型,使其不仅能够描述物理实体逻辑及时间层次的行为,并且能够描述物理实体位置变迁所引起的状态变化.最后以机器人控制系统为例,进一步阐述了时空Petri网模型的有效性.

关键词：时间Petri网、信息物理融合系统(CPS)、物理实体、空间信息、时空Petri网

分类号：TP301.2(计算技术、计算机技术)

在线出版日期：2013-04-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：377-384