论文部分内容阅读
面向对象方法使得系统设计简化,符合所描述的现实事物的特点,简单易于理解。但是在设计系统时没有进行严格的检验和验证。Petri网提供了形式化的图形表示,层次化的结构在表示类的继承以及描述对象的动态性方面非常有用。现介绍一种抽象节点技术,将面向对象设计模型转换成层次化的Petri网模型将对象和对象属性封装到数据结构中去,从而结合了两者的优点。