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