论文研究 信息物理融合系统可信软件形式化建模与分析.pdf

论文研究-信息物理融合系统可信软件形式化建模与分析.pdf,  从多Agent系统的角度，以Petri网和π演算为语义基础，建立了一种信息物理融合系统（cyber-physical systems，CPS）可信软件形式化模型（high-confidence software formal model，HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为，用P