混成时空Petri网的CPS实时事件模型

谭朋柳; 汪亚亚; 朱明

doi:10.13873/J.1000-9787(2016)10-0032-04

Chinese

您当前的位置：

首页 >

文章列表页 >

混成时空Petri网的CPS实时事件模型

研究与探讨 | 更新时间：2025-09-11

- 混成时空Petri网的CPS实时事件模型
- Real-time event CPS model based on hybird spatial-temporal Petri nets
- 传感器与微系统 2016年35卷第10期页码：32-35
- 作者机构：
  
  南昌航空大学软件学院
- 作者简介：
- 基金信息：
  
  国家自然科学基金资助项目（61364023）;航空基金资助项目（2013ZD56008）;江西省教育厅科技项目（GJJ13516）
- DOI：10.13873/J.1000-9787(2016)10-0032-04
  中图分类号： TP301.1
- 纸质出版：2016
- 稿件说明：
移动端阅览
[1]谭朋柳,汪亚亚,朱明.混成时空Petri网的CPS实时事件模型[J].传感器与微系统,2016,35(10):32-35.

TAN Peng-liu, WANG Ya-ya, ZHU Ming. Real-time event CPS model based on hybird spatial-temporal Petri nets[J]. 2016, 35(10): 32-35.
[1]谭朋柳,汪亚亚,朱明.混成时空Petri网的CPS实时事件模型[J].传感器与微系统,2016,35(10):32-35. DOI： 10.13873/J.1000-9787(2016)10-0032-04.

TAN Peng-liu, WANG Ya-ya, ZHU Ming. Real-time event CPS model based on hybird spatial-temporal Petri nets[J]. 2016, 35(10): 32-35. DOI： 10.13873/J.1000-9787(2016)10-0032-04.

摘要

在分析网络物理系统（CPS）特点的基础上

提出了一种新的CPS体系结构

并对事件进行形式化定义。提出了一种新的CPS物理实体的形式化建模方法。在Petri网的基础上引入时空因素和连续变量

构造了混成时空Petri网（HSPN）模型

使其不仅能够描述物理实体逻辑和时间层次的行为

而且能够描述物理实体位置变迁所引起的状态变化。将其应用于实时事件CPS模型设计

以医疗控制系统为例

分析建模方法的可行性。

Abstract

On the basis of analyzing characteristics of cyber physical systems（ CPS）

propose a new architecture of CPS

and formal definition of events is given. A new formal modeling method of CPS physical entity is proposed and defined. Introduce spatial and temporal factors and continuous variables on the basis of Petri nets

hybird spatial-temporal Petri nets（ HSPN） is constructed

HSPN can not only describe behavior of physical entities in logical and time-level

but also can describe change of state caused by position change of physical entities. HSPN model is applied to real-time events CPS model design

and take medical control system as an example

analyze feasibility of modeling method.

关键词

Keywords

references

信息物理融合系统的时间需求一致性分析 [J]. 尹玲,陈小红,刘静. 软件学报 . 2014(02)

基于微分动态逻辑的CPS建模与属性验证 [J]. 朱敏,李必信,陈乔乔,吉顺慧,李加凯. 电子学报 . 2012(06)

Basic Ideas for Event-Based Optimization of Markov Systems [J] . Xi-Ren Cao. Discrete Event Dynamic Systems . 2005 (2)

浏览量

118

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

医院物联网体系结构和关键技术研究

区域防空多传感器管理体系结构与功能模块研究