Real-time event CPS model based on hybird spatial-temporal Petri nets

TAN Peng-liu; WANG Ya-ya; ZHU Ming

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

Chinese

您当前的位置：

首页 >

文章列表页 >

Real-time event CPS model based on hybird spatial-temporal Petri nets

更新时间：2025-09-11

- Real-time event CPS model based on hybird spatial-temporal Petri nets
- Vol. 35, Issue 10, Pages: 32-35(2016)
- 作者机构：
  
  南昌航空大学软件学院
- 作者简介：
- 基金信息：
- DOI：10.13873/J.1000-9787(2016)10-0032-04
  CLC： TP301.1
- Published：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)

Views

118

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Research on architecture and key technology of internet of things in hospital

Research on multi-sensor management architecture and function module in area air defense

Related Author

YU Lei1

LU Yang1

TIAN Yi-ming1

ZHU Xiao-ling1

LI Bing

WANG Feng-shan

Related Institution

School of Computer and Information,Hefei University of Technology

School of Medical Information Technology,Anhui University of Traditional Chinese Medicine

The Missile Institute,Air Force Engineering University,Sanyuan

⁰