论文部分内容阅读
大型复杂系统的模型往往需要通过系统分解的形式来构建。很多系统构建模型方法都只能构建静态模型,不提供对系统模型的模拟仿真,一旦模型构建出现问题,就需要对整个系统进行修改。面向对象在系统建模方面提供了很多优秀的设计模式,有效地支持了系统建模。但这些设计模式也都是静态的,不能支持模型的仿真验证。因此,寻找一种方法来提供对构建模型的模拟仿真是十分必要的。本文首先分析了各种基于Petri网的建模方法的优缺点及存在的问题;然后提出了一种基于扩展Petri网和面向对象的模型构建方法,即面向对象着色Petri网模型,给出了模型的形式化定义,并分析了模型对象子网的特征;接着利用提出的面向对象着色Petri网模型构建了常用的十二种设计模式;最后通过微型计算机生产的例子对该建模方法进行了验证。面向对象着色Petri网综合了着色Petri网和面向对象两种思想的优点。着色Petri网是一种建立在基本Petri网基础上的很好的图形化的数学工具,它保留了基本Petri网支持严格数学意义的分析计算和图形化的模拟仿真的特性,可以用来构建系统模型,并对模型进行分析验证。另外,着色Petri网由于引入了颜色特性,表达能力更加强大,解决了状态空间爆炸和维护困难的问题,因此可以用来构建大型复杂的系统模型。面向对象有很好的抽象性、封装性、模块化和重用性特点,同时提供了大量优秀的设计模式。因此面向对象着色Petri网可以用来构建系统模型,同时可以支持模型的模拟仿真和性质验证。该方法的使用,既可降低系统建模的复杂度,又可增强模型的可验证性和可重用性,是一个值得推广应用的建模方法。