基于信息物理融合系统的时空建模方法

• 作者: 张立臣 江奕勋
• 来源期刊: 现代计算机
• 关键词: 信息物理融合系统 Petri网 时空特性
• 年，卷（期）: 2020,（25）
• 所属期刊栏目: 研究与开发
• 页码范围: 32-36
• 页数: 5页
• 语种: 中文
• DOI: 10.3969/j.issn.1007-1423.2020.25.006

摘要

Petri网是一种基于图形的形式化建模理论,它目前已经被广泛应用在并发系统的分析中.使用Petri网、自动机和过程代数提供数学形式主义来验证时空模型的行为,分析它的过程,对它进行状态空间的搜索和状态的可达性分析.我们的信息物理融合系统的时空建模需要同时考虑时间规范和空间规范.Petri网作为一种分布式、并行以及实时系统建模与分析的重要工具,将会为CPS的建模提供坚实的基础.通过分析模型中时空特性的特点,同时还对比不同时空特性建模方法,最终决定选取Petri网来作为建模的方法,在基本Petri网的基础上,将时间因素和空间因素引入,创造出全新的时空Petri网.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张立臣		158	820	14.0	21.0
2	江奕勋		1	0	0.0	0.0