论文部分内容阅读
把Petri网原理和面向对象技术相结合,定义一种对象Petri网.运用这种对象Petri网对可复用的电力系统软件体系结构进行描述.这种对象Petri网有面向对象技术的自然性和封装性,有严格的数学描述和直观图形表示;通过库所和变迁的连接关系及变迁触发、有色托肯的流动,能清晰、有效地描述可复用电力系统软件体系结构中不同层次的主体属性、行为及彼此间的信息交互、包含与被包含等的关系.它既能反映该体系结构中组件等主体间的静态联系,又能精确、方便地描述主体间的异步、并发等动态行为.