1、 西华大学硕士学位论文基于Petri网的文件并行传输问题的建模与分析姓名：王欢申请学位级别：硕士专业：计算机应用技术指导教师：宋文201204摘 要关键词： 徊 写 洌 籹 一 不变 ； 模 型 验 证， 鷇遖 琽 引 言网 在其他领域 的有 价 值 的文 章 。网 从 计算 能力 来说 都等 价 于 原型 簿 偷燃 塾 谕 剂 榛饬 至 肿 茏 艿 母 骼 郟 “网是由 原型 网 添 加 一个新弧 线 来连接变 迁 和 库所而 构 成 的。当 变 迁 满 足 了 使 能的要网 变 迁 使 能的准则 。西 华 大 学 硕 士 学 位 论文分 析奶 乇 鹩 杏 玫 囊 恢指 椒 褪嵌訮网进 行
2、化 简 。 为了 避 免由 于 状态 过 多 导 致 空 间 爆 炸 ，我 们可 以 通 过 用 可 达 树 求 极小 、 化 简 可 达 树 等 方 法来处 理 ，之 前分 析某些 繁琐 的 网系 统的 工 作 很难 实现 ，现 在 也 因为此使得 分 解 化 简 技术 成为可 能 ，同时 分 析工 作 也 大 大 的 减 少了 。 谄渎 畚 闹懈隽 诵 矶喙 赜赥 图 的 化 简 方 法，同 时 讲 述 了 某些 特 征 与 这些 方 法的 联 系 ； 之 后 在 这方 面的 研究 被蒋 昌 俊 等 人 推第 一 章主 要讲述了 本 课 题研究 相 关的 一 些背 景 知 识 及意义。态
3、性 质进行 了 分 析验证 。通 信 双方 因 为 资 源冲突 导 致 的 等 待问 题，资 源利 用率得到 了 提高 ，同 时 利 用仿 真 工 具第 五章是 对 全文进行 了 一 个总 结。西 华 大 学 硕 士 学 位 论文定义 W 棰 ， 籉 且 桓鯬 硎 网 虺 仆 的充 要 条 件 是： 缂 丁 ， 其中 ， 定义 谋晔 篠 ， ， ， 煌 谩 簦 表 示，定义 枰桓鯬 网为 ，协 篗 葜 皊 ， 八 协 广： 癴 ， 变迁 贛 下 使能发生 ， 生 成 一个新 的标 识 ， 一 瑃 绻 鹲 猼 。 ， 就 说是定义 逋 旷 ， ， 同 时 恍 如 果 对 于 中 的所 有库 所
4、都 没 可能发生 冲 撞， 我们 就 说系 统 为 无冲 撞的。西 华 大 学 硕 士 学 位 论文 蔅， 琧 蔆 ，存在 蔯 正 ； 蔈 ， 琧 蔆 ，具 有 乞 ，那 么就 称 兰 唬 珽； ， 是条件 事 件 系统，简 ， 记 为容 量 函 数 ， 嬖 趂 丁， 的 条件 是： 蔲 。 一 篗 形 ， 驚 ， ，若 蔲 。 一 。 称为状 态 机 虺 芐 当 且 仅 当 丁：一 譴 ；子 类。定 义 杂裳 裢 虺 艶 设 网 。 籉 且 桓 鲎 杂裳 裢 鼻 医龅倍 杂赩 ，乞 丁 倨 满足 ： 若 为自 由 选 择 网 ， “舻 囊 桓 霰 晔 叮 虺 ， 为标 识 自 由 选 择 网
5、 。定 义 嵌猿 蒲 裢 仃 虺 艫 簄 弧 賕西 华 大 学 硕 士 学 位 论文足 簊 丁一 渚 卣笤K豤 琭， 职 一 吣， 彳 一 。 ， 表 示 矩阵 彳 和彳 一 的 第 行 纬 傻 牧邢 蛄 浚 冕 ” ： 歪 芤弧 海 硎揪 卣 筢 ， 么和称为 鼻医 龅 庇 幸 桓鰉维向 量 是 非负整数 同 时 使得 彳 】 ， 鳱的 一 个 槐 淞 砍 谱 鱔 ， 当 且仅 当 有 一 个 非负整数 向 量 湮 扔趎 且具 有统 从 最初 状 态 到重 新 回 到初 始 状 态 的 次 数 。 如下 图 所 示 ：西 华 大 学 硕 士 学 位 论文 淝 鼓 芎 螅 渥刺 盂姹 涑 蒑
6、， ， 变迁 使能， 变为 琽 网 的结 构 ， ， 挖 ， 鸩 一 定 义 叫 尼 蕒 襢 西 华 大 学 硕 士 学 位 论文含 有 一个在坻 下标 识 的陷阱 。而 形 成一 种 新的 巴蝗菪砘。够 网 。基 本概念窃 谠 蚉 网 的 基 础 上 增西 华 大 学 硕 士 学 位论 文协 琭 剩 籑 且 琭 蔎除 有 向 弧的 权 可 以 为 库所名 以 外 ， 自控系统与 容 量 函 数为 无穷 的 疶 系统没 有 别 的显 然， 疶 系统可 以 看成是 自控系统的 一 种 特 例 ：没 有 可 变的 权 。 ， 一 ， 仃 龇 ， 锄此 例的系 统模型 设 计 如 下：文 件 并 行 传输 的酉 低 场西 华 大 学 硕 士 学 位 论 文 ： ，
