面向对象Petri网建模技术与应用
- 格式：pdf
- 大小：258.75 KB
- 文档页数：4
定， 对数据 具有 封 装 性 。面 向对 象 设计 方 法 的主要
而在设 计 过 程 中 要 用 到 Ａ 作 为 网 络 中 的 节 点 。 Ｎ Ｃ Ｎ具 有分层 的特 点 ， Ｐ 因而达到 了逐 步求精 的效果 。
ｌ 抽 象节点设计方法
Ｏ ０设计技术定义了类的继承和对象的互操作 ， Ｐ Ｎ用来 表示这 些类 和对象 交互。这种结合 会 把
特点是它的可维护性 和灵活性。但是 ， 采用面 向对
象设计方法对系统没有很好的分析和验证方法。
Ｐｔ 网适 合 于描 述具 有并 发 、 步 、 布式 、 ｅ ｉ ｒ 异 分 并
Ｃ Ｎ嵌入到对象 的构造 中。Ｐ Ｐ Ｎ模 型的应用允许我
们在系统设计完成之前可 以对它进行验证 。Ａ Ｎ方 法就是将 Ｏ ０设计方法与 Ｃ Ｎ模型相结合。先介绍 Ｐ 抽象节点的概念。 Ｎ Ａ 用来构造网络中任何节点 ， 相当于面向对象 设计方法中的对描述对象的抽象 。Ａ Ｎ既可以是抽 象的库所（ Ｐ 也可 以是抽象 的变迁 （ Ｔ 。在网络 Ａ） Ａ） 图中，Ｎ用一个方 框来表示 ， Ａ 它具 体代表 的是 Ａ Ｐ
பைடு நூலகம்
由 一个库所和—个变迁再加上两条弧线构成的环型结 构组成。如图 １ 所示， 虚线框中的部分代表一个 Ａ 。 Ｎ
的优 点 。
关键词：面向对象 ； ｅｉ 建模技术 Ｐｔ 网； ｒ
Ａｐ ｌ ａ ｉｎ ｏ ｔｉｎ ｔｍ ｏ ｅｉ ｇ ｂ ｓ ｄ ｏ ｈ ｐ ｉ ｔｏ ｆＰｅｒ ｅ ｄ ｌ ａ ｅ ｎ ｔ ｅ ｏＯ ｅｈ ｄ ｌｇ ｃ ｎ ｍ ｔ ｏ ｏｏ ｙ
ＷＡＮＧ ｅ １ ｇ． ＺＨＵ ． ｉ Ｘｕ ．ｉ ｎ Ｈｅ ｍｅ （ ｏ ｅｅｏ ｌ ｔ ｎｃ Ｉｆｒ ｔ ｎｂｌ眦ｅ ， ｏ ｇ ｎ ｅｓｙ Ｓ ａ ｇ ２ １０ ， ｈ ａ Ｃ ｌ ｇ ｆ ｅ ｒ ｉ ｌ Ｅ ｃ ｏ ｓ＆ ｎｏｍａ ｏ ｇ ｒ Ｔ ｎ ｊＵ ｉ ｒｉ ， ｈｎｌ ０８ ４ ｃ ｉ ） ｉ ｉ ｉ ｖ ｔ ￣ ｎ
行和随机性等特点的系统。它的图形化的表示 、 设 计简单 以后可执行的特性使得 Ｐｔ 网广泛用于系 ｅ ｉ ｆ 统的仿真 、 快速建模和验证。将面向对象和 Ｐｔ 网 ｅ ｉ ｒ 相结合可以结合两者 的优点 ， 从而达到灵活方便 而
且 可验证 的效 果 。
首先引入抽象节点 （ ｂｔｃ Ｎ ｅ 简称 Ａ ） Ａ ｓａｔ ｏ ， ｒ ｄ Ｎ 的 设计方法 。该方法的思路就是 ： 在设计 阶段采用面 向对象模型 ， 而在需要验证的阶段使用着色 Ｐｔ 网 ｅｉ ｒ （ｏ ｒ ｅｉ ｅ， Ｃｌｅ Ｐｔ Ｎ ｔ ｏｄ ｒ 简称 ｃ Ｎ 模型。也就是说 ， Ｐ） 先采 用面向对象 的设计方法对系统 的整个框架进行设
摘 要 ：面向对象方法使得 系统设计 简化 ，符合所描述的现 实事物的特点 ，简单 易于理解。但
是在设计 系统时没有进行严格 的检验和验证。Ｐ 网提供 了形式化 的图形表示 ，层次化 的结构 ｅ
在表示类的继承 以及描述对象的动态性方面非常有用。现介绍一种抽 象节点技术 ，将面向对 象
设计模 型 转换成 层 次化 的 Ｐｔ 网模 型将 对 象和 对 象属性 封 装 到数 据 结 构 中去 ，从 而 结合 了两者 ｅｉ ｒ
信 息技术 鳓
．
２ ０ ￥ １ ０８ １
文献标识码 ： Ａ 文章编号 ：０９— ５ ２２０ ）１ ０Ｏ ４ １０ ２ ５ （０ ８１ 一Ｏ６ 一０
中图分类号 ：Ｐ９ Ｔ ３３
面 向对 象 Ｐ ｔ 网建 模 技 术 与应 用 ｅｉ ｒ
王学灵，朱和美
（ 同济大学 电子与信息工程学院 ，上海 ２ １０ ） ０８４
Ｋｅ ｏｄ ：ｏｊｃ ｏ ｅ ｔ ； ｌ ｉ ｅ ； ｏｅ ｎ ｃｎｑ ｅ ｙｗ ｒｓ ｂ ｔ ｒ ｎ ｄ Ｐ ｔ ｔ ｍ ｄｌ ｇｔ ｈｉｕ ｅ－ ｉ ｅ ｅ ｎｓ Ｉ ｉ ｅ
０ 引言
面向对象方法（ ｂ ｃ Ｏ ｅｔ ， Ｏ ｊ ｔ ｒｎ ｄ简称 ｏ ） ｅ ｉ ｅ ｏ 是一种 结构化的软件设计技术 ， 它支持继承 、 多态和动态绑
还是 Ａ ， Ｔ要看在 网络 中所起 的作用来定。一个 Ａ Ｎ
收稿 日期 ：２０ 一∞一１ ０８ ９
作者简 介：王 学灵 （ ７ 一）男 ， １ ７ ， 硕士研 究生 ， ９ 研究 方 向为计算 机通 信网。
计， 之后再采用 Ｐｔ 网建模 方法对系统进行建模 ， ｅｉ ｒ
一
６ 一 ０
Ａｂ ｔａ ｔ Ｏ ｍａ ｅ ｅｄ ｓ ｎ ｏ ｅ ｓ ｓ ｍ ｉ ｐ ｅ ａ ｄ ｅ ｓ ｅ ｕ ｄ ｒｔｏ ｓｒ ｃ ： Ｏ ｋ ｓｔ ｅ ｉ ｆ ｙ ｔ ｓｍ ｌ ｎ ａ ｙ ｔ ｂ ｎ ｅｓｏ ｄ．Ｂ ｔｔｅ ｓ ｓ ｍ ｅ ｉ ｅ ｙ ｈ ｇ ｈ ｔ ｅ ｏ ｕ ｙ ｔ ｄ ｓ ｄ ｂ ｈ ｅ ｎ ｇ ｔ ｉ ｍｅｈ ｄ ｈ ｓｎ ｅｉ ｉｇ ａ ｄ ｖ ｌ ａｉｇ ｌｒ ｎ ｔ ｒｖｄ ｓ ｈ ｒ ｌｇａ ｈ ｃ ｌ ｅ ｒ ｓｎ ａｉｎ ａ ｄ ｉ ｏ ｅｏ ｈ ｓ ｔｏ ａ ｏ ｖ ｒ ｙｎ ａｉ ｔ ．Ｐ ｔ ｅ ｏ ｉｅ ｅｆ ｍａ ｒｐ ｉａ ｐ ｅ ｅ ｔｔ ｎ ｎ ｆ ｆ ｎ ｄ ｎ ｅｉ ｐ ｔ ｏ ｒ ｏ ｓ ｔｅ ｍｏ ｔｕ ｅｕ ｔ ｏ ｓｆｒｓ ｌ ｔ ｇ ａ ｄ ｍｏ ｅｉｇ Ｔ ｉ ａ ｅ ｔ ｄ ｃ ｓｔ ｅ ａ ｓ ａ ｔ ｏ ｅ ｈ ｃ ａ ａ ｅ ｈ ｓ ｓ ｆ ｌ ｈ ｄ ｉ ａｉ ｄ ｌ ． ｈｓｐ ｐ ｒ ｎｒ ｕ ｅ ｂ ｔ ｃ ｄ ．ｗ ｉｈ ｃ ｎ ｔｋ ｍｅ ｏ ｍｕ ｎ ｎ ｎ ｉ ｏ ｈ ｒ ｎ ａ ｖ ｔｇ ｓｏ ｏ ＯＤ ａ ｄ Ｃ Ｎ． ｄ ａ ａ ｅ ｆｂ ｔ Ｏ Ｐ ｎ ｈ ｎ
而在设 计 过 程 中 要 用 到 Ａ 作 为 网 络 中 的 节 点 。 Ｎ Ｃ Ｎ具 有分层 的特 点 ， Ｐ 因而达到 了逐 步求精 的效果 。
ｌ 抽 象节点设计方法
Ｏ ０设计技术定义了类的继承和对象的互操作 ， Ｐ Ｎ用来 表示这 些类 和对象 交互。这种结合 会 把
特点是它的可维护性 和灵活性。但是 ， 采用面 向对
象设计方法对系统没有很好的分析和验证方法。
Ｐｔ 网适 合 于描 述具 有并 发 、 步 、 布式 、 ｅ ｉ ｒ 异 分 并
Ｃ Ｎ嵌入到对象 的构造 中。Ｐ Ｐ Ｎ模 型的应用允许我
们在系统设计完成之前可 以对它进行验证 。Ａ Ｎ方 法就是将 Ｏ ０设计方法与 Ｃ Ｎ模型相结合。先介绍 Ｐ 抽象节点的概念。 Ｎ Ａ 用来构造网络中任何节点 ， 相当于面向对象 设计方法中的对描述对象的抽象 。Ａ Ｎ既可以是抽 象的库所（ Ｐ 也可 以是抽象 的变迁 （ Ｔ 。在网络 Ａ） Ａ） 图中，Ｎ用一个方 框来表示 ， Ａ 它具 体代表 的是 Ａ Ｐ
பைடு நூலகம்
由 一个库所和—个变迁再加上两条弧线构成的环型结 构组成。如图 １ 所示， 虚线框中的部分代表一个 Ａ 。 Ｎ
的优 点 。
关键词：面向对象 ； ｅｉ 建模技术 Ｐｔ 网； ｒ
Ａｐ ｌ ａ ｉｎ ｏ ｔｉｎ ｔｍ ｏ ｅｉ ｇ ｂ ｓ ｄ ｏ ｈ ｐ ｉ ｔｏ ｆＰｅｒ ｅ ｄ ｌ ａ ｅ ｎ ｔ ｅ ｏＯ ｅｈ ｄ ｌｇ ｃ ｎ ｍ ｔ ｏ ｏｏ ｙ
ＷＡＮＧ ｅ １ ｇ． ＺＨＵ ． ｉ Ｘｕ ．ｉ ｎ Ｈｅ ｍｅ （ ｏ ｅｅｏ ｌ ｔ ｎｃ Ｉｆｒ ｔ ｎｂｌ眦ｅ ， ｏ ｇ ｎ ｅｓｙ Ｓ ａ ｇ ２ １０ ， ｈ ａ Ｃ ｌ ｇ ｆ ｅ ｒ ｉ ｌ Ｅ ｃ ｏ ｓ＆ ｎｏｍａ ｏ ｇ ｒ Ｔ ｎ ｊＵ ｉ ｒｉ ， ｈｎｌ ０８ ４ ｃ ｉ ） ｉ ｉ ｉ ｖ ｔ ￣ ｎ
行和随机性等特点的系统。它的图形化的表示 、 设 计简单 以后可执行的特性使得 Ｐｔ 网广泛用于系 ｅ ｉ ｆ 统的仿真 、 快速建模和验证。将面向对象和 Ｐｔ 网 ｅ ｉ ｒ 相结合可以结合两者 的优点 ， 从而达到灵活方便 而
且 可验证 的效 果 。
首先引入抽象节点 （ ｂｔｃ Ｎ ｅ 简称 Ａ ） Ａ ｓａｔ ｏ ， ｒ ｄ Ｎ 的 设计方法 。该方法的思路就是 ： 在设计 阶段采用面 向对象模型 ， 而在需要验证的阶段使用着色 Ｐｔ 网 ｅｉ ｒ （ｏ ｒ ｅｉ ｅ， Ｃｌｅ Ｐｔ Ｎ ｔ ｏｄ ｒ 简称 ｃ Ｎ 模型。也就是说 ， Ｐ） 先采 用面向对象 的设计方法对系统 的整个框架进行设
摘 要 ：面向对象方法使得 系统设计 简化 ，符合所描述的现 实事物的特点 ，简单 易于理解。但
是在设计 系统时没有进行严格 的检验和验证。Ｐ 网提供 了形式化 的图形表示 ，层次化 的结构 ｅ
在表示类的继承 以及描述对象的动态性方面非常有用。现介绍一种抽 象节点技术 ，将面向对 象
设计模 型 转换成 层 次化 的 Ｐｔ 网模 型将 对 象和 对 象属性 封 装 到数 据 结 构 中去 ，从 而 结合 了两者 ｅｉ ｒ
信 息技术 鳓
．
２ ０ ￥ １ ０８ １
文献标识码 ： Ａ 文章编号 ：０９— ５ ２２０ ）１ ０Ｏ ４ １０ ２ ５ （０ ８１ 一Ｏ６ 一０
中图分类号 ：Ｐ９ Ｔ ３３
面 向对 象 Ｐ ｔ 网建 模 技 术 与应 用 ｅｉ ｒ
王学灵，朱和美
（ 同济大学 电子与信息工程学院 ，上海 ２ １０ ） ０８４
Ｋｅ ｏｄ ：ｏｊｃ ｏ ｅ ｔ ； ｌ ｉ ｅ ； ｏｅ ｎ ｃｎｑ ｅ ｙｗ ｒｓ ｂ ｔ ｒ ｎ ｄ Ｐ ｔ ｔ ｍ ｄｌ ｇｔ ｈｉｕ ｅ－ ｉ ｅ ｅ ｎｓ Ｉ ｉ ｅ
０ 引言
面向对象方法（ ｂ ｃ Ｏ ｅｔ ， Ｏ ｊ ｔ ｒｎ ｄ简称 ｏ ） ｅ ｉ ｅ ｏ 是一种 结构化的软件设计技术 ， 它支持继承 、 多态和动态绑
还是 Ａ ， Ｔ要看在 网络 中所起 的作用来定。一个 Ａ Ｎ
收稿 日期 ：２０ 一∞一１ ０８ ９
作者简 介：王 学灵 （ ７ 一）男 ， １ ７ ， 硕士研 究生 ， ９ 研究 方 向为计算 机通 信网。
计， 之后再采用 Ｐｔ 网建模 方法对系统进行建模 ， ｅｉ ｒ
一
６ 一 ０
Ａｂ ｔａ ｔ Ｏ ｍａ ｅ ｅｄ ｓ ｎ ｏ ｅ ｓ ｓ ｍ ｉ ｐ ｅ ａ ｄ ｅ ｓ ｅ ｕ ｄ ｒｔｏ ｓｒ ｃ ： Ｏ ｋ ｓｔ ｅ ｉ ｆ ｙ ｔ ｓｍ ｌ ｎ ａ ｙ ｔ ｂ ｎ ｅｓｏ ｄ．Ｂ ｔｔｅ ｓ ｓ ｍ ｅ ｉ ｅ ｙ ｈ ｇ ｈ ｔ ｅ ｏ ｕ ｙ ｔ ｄ ｓ ｄ ｂ ｈ ｅ ｎ ｇ ｔ ｉ ｍｅｈ ｄ ｈ ｓｎ ｅｉ ｉｇ ａ ｄ ｖ ｌ ａｉｇ ｌｒ ｎ ｔ ｒｖｄ ｓ ｈ ｒ ｌｇａ ｈ ｃ ｌ ｅ ｒ ｓｎ ａｉｎ ａ ｄ ｉ ｏ ｅｏ ｈ ｓ ｔｏ ａ ｏ ｖ ｒ ｙｎ ａｉ ｔ ．Ｐ ｔ ｅ ｏ ｉｅ ｅｆ ｍａ ｒｐ ｉａ ｐ ｅ ｅ ｔｔ ｎ ｎ ｆ ｆ ｎ ｄ ｎ ｅｉ ｐ ｔ ｏ ｒ ｏ ｓ ｔｅ ｍｏ ｔｕ ｅｕ ｔ ｏ ｓｆｒｓ ｌ ｔ ｇ ａ ｄ ｍｏ ｅｉｇ Ｔ ｉ ａ ｅ ｔ ｄ ｃ ｓｔ ｅ ａ ｓ ａ ｔ ｏ ｅ ｈ ｃ ａ ａ ｅ ｈ ｓ ｓ ｆ ｌ ｈ ｄ ｉ ａｉ ｄ ｌ ． ｈｓｐ ｐ ｒ ｎｒ ｕ ｅ ｂ ｔ ｃ ｄ ．ｗ ｉｈ ｃ ｎ ｔｋ ｍｅ ｏ ｍｕ ｎ ｎ ｎ ｉ ｏ ｈ ｒ ｎ ａ ｖ ｔｇ ｓｏ ｏ ＯＤ ａ ｄ Ｃ Ｎ． ｄ ａ ａ ｅ ｆｂ ｔ Ｏ Ｐ ｎ ｈ ｎ
