一种基于AOcontPN的信息物理系统建模方法

• 作者: 虞慧群 钱之琳
• 来源期刊: 华东理工大学学报（自然科学版）
• 学科: 工学
• 关键词: CPS 面向方面方法 连续Petri网 建模
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 研究论文
• 页码范围: 217-221
• 页数: 5页
• 分类号: TP311
• 字数: 3586字
• 语种: 中文

摘要

信息物理系统(CPS)是计算、控制和通信相融合的系统.现有的建模方法不能很好地实现其离散和连续混合的复杂行为.对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法.依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,作为一个功能性的方面连续Petri网,织入到基本Petri网中.这样不仅解决了CPS系统中连续过程的行为分析、复用等问题,也使得整个系统可以使用离散系统的形式化方法来验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	虞慧群	华东理工大学计算机科学与工程系	113	814	14.0	24.0
5	钱之琳	华东理工大学计算机科学与工程系	2	10	2.0	2.0