| 混成时空Petri网的CPS实时事件模型 |
| |
| 引用本文： | 谭朋柳,汪亚亚,朱明. 混成时空Petri网的CPS实时事件模型[J]. 传感器与微系统, 2016, 0(10): 32-35. DOI: 10.13873/J.1000-9787(2016)10-0032-04 |
| |
| 作者姓名： | 谭朋柳 汪亚亚 朱明 |
| |
| 作者单位： | 南昌航空大学 软件学院,江西 南昌,330000 |
| |
| 基金项目： | 国家自然科学基金资助项目(61364023)；航空基金资助项目(2013ZD56008)；江西省教育厅科技项目(GJJ13516) |
| |
| 摘 要： | 在分析网络物理系统（ CPS）特点的基础上，提出了一种新的CPS体系结构，并对事件进行形式化定义。提出了一种新的CPS物理实体的形式化建模方法。在Petri网的基础上引入时空因素和连续变量，构造了混成时空Petri网（ HSPN）模型，使其不仅能够描述物理实体逻辑和时间层次的行为，而且能够描述物理实体位置变迁所引起的状态变化。将其应用于实时事件CPS模型设计，以医疗控制系统为例，分析建模方法的可行性。
|
| 关 键 词： | 混成时空Petri网(HSPN) 网络物理系统(CPS) 实时事件模型 体系结构 |
Real-time event CPS model based on hybird spatial-temporal Petri nets |
| |
| TAN Peng-liu,WANG Ya-ya,ZHU Ming. Real-time event CPS model based on hybird spatial-temporal Petri nets[J]. Transducer and Microsystem Technology, 2016, 0(10): 32-35. DOI: 10.13873/J.1000-9787(2016)10-0032-04 |
| |
| Authors: | TAN Peng-liu WANG Ya-ya ZHU Ming |
| |
| 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: | hybrid spatial-temporal Petri nets( HSPN) cyber physical systems( CPS) real-time event model architecture |
| 本文献已被 万方数据 等数据库收录！ |
