%0 Journal Article
%T 一种基于AOcontPN的信息物理系统建模方法
%A 钱之琳
%A 虞慧群
%J 华东理工大学学报
%P 217-221
%D 2013
%X 信息物理系统（CPS）是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析，将一些普遍存在的物理连续过程抽取出来，作为一个功能性的方面连续Petri网，织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题，也使得整个系统可以使用离散系统的形式化方法来验证。
%K CPS
%K 面向方面方法
%K 连续Petri网
%K 建模
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=201302019&flag=1