2859.
Petri网被广泛应用于信息物理系统(Cyber-Physical Systems,CPS) 的建模与分析,这些系统通常包含多个并发任务。为了简化CPS的实现过程,可将其分解成为若干独立组件。现有的CPS分解方法,如基于整数线性代数的算法,面临高时间复杂度问题;而依赖监控器的分解方法则存在较大的通信开销。为解决这些问题,综合现有分解方法的优势,提出了一种基于解释Petri网的CPS分解方法。该方法通过约束条件逐步分解网络,生成独立的状态机组件,有效缩小了模型规模。同时,提出了一种新的信号同步机制替代传统的监控器方案,显著降低了同步开销。实验结果表明,所提方法在大多数测试案例中的分解时间为 O(n
2),远优于传统方法的指数级复杂度O(2
n),且生成的组件集合也更加简洁。… …
相似文献