论文部分内容阅读
信息物理系统（CPS）是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析，将一些普遍存在的物理连续过程抽取出来，作为一个功能性的方面连续Petri网，织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题，也使得整个系统可以使用离散系统的形式化方法来验证。