基于PRES网求精操作的嵌入式系统仿真方法及系统

摘要

本公开提供了一种基于PRES网求精操作的嵌入式系统仿真方法及系统，所述方案包括：基于嵌入式控制系统的功能及模块划分，构建抽象PRES网模型；基于相关约束条件确定所述抽象PRES网模型中的库所型子网；利用所述库所型子网对所述抽象PRES网模型进行求精操作，获得求精的PRES网模型；基于获得的求精的PRES网模型，实现嵌入式控制系统的仿真。所述方案利用所述库所型子网替换所述抽象PRES网模型中的库所，实现PRES网的求精操作，利用求精的PRES网解决了大规模复杂嵌入式系统进行建模仿真分析时，会遇到“状态空间爆炸”问题，提高了嵌入式系统建模仿真的效率和精度。