基于Petri网的煤矿井下工程全生命周期过程建模研究
合集下载
Petri网的建模与分析
Petri网的建模与分析作者：毛子剑来源：《无线互联科技》2021年第23期摘要：Petri网具有一种系统的数学建模能力，广泛地应用于具有同步、并发、冲突的离散事件系统的建模，可以用来描述较为复杂的业务过程。
随着业务过程管理的复杂程度不断增加，使得业务过程建模的难度也逐渐提高，是当前业务过程建模中需要解决的主要问题。
首先，文章介绍了Petri网的基本概念及其形式化描述，其次描述了在业务过程建模中常用的4种工作流模型的基本结构并结合Petri网构成了工作流Petri网的基本模型，以此完成对业务过程的建模。
最后，运用Petri网对索赔处理过程进行建模，并对其可达状态进行分析，进而提高业务过程管理质量。
关键词：Petri网;业务过程;工作流;过程管理;可达状态0 引言Petri网一种是离散事件系统建模的通用分析工具，在系统建模领域有着广泛的应用[1]，且具有严格的形式化定义、丰富的表达能力和直观的图像化描述等特点[2]。
Petri网适用于描述异步并发系统的网状模型，既能描述系统的结构，又可以模拟系统的运行状态。
它没有任何形式的全局控制，是一个异步系统，即按照事件间的依赖关系建立业务过程模型。
随着业务过程管理水平的不断提高，业务过程的复杂化程度也不断增加，一般的业务流程建模不具备异步并发的特点，而Petri网作为一种建模工具，不仅可以较好地描述业务过程的动态性特征，而且可以模拟过程模型的运行状态。
Petri网的基本组成元素包括库所、变迁、托肯以及流关系等，在Petri网的图形化描述中，库所、变迁和托肯分别使用圆圈、矩形块和小黑点表示，使用有向弧连接库所和变迁，从而共同构成一个基本的Petri网模型。
其中，有向弧只能由库所指向变迁或者由变迁指向库所，不存在流关系由库所指向库所或者由变迁指向变迁，即变迁之间使用库所连接。
库所表示建模过程的可能状态，变迁表示建模过程的事件活动，库所中的托肯表示资源，托肯个数则表示资源个数。
基于Petri网的项目生命周期管理
理 框 架 内 的 ９大 知 识 领 域 与 五 个 过 程 组 、 目三 约 束 、 目任 务 和 项 目资 源 等 四 大 重 点 问 题展 开讨 论 。 采 用 事件 驱 动 的 思 项 项 想， 实时地 表 示 了项 目的任 务 、 源分 布 和 资 源状 况 。 资
【 关键词 】 项 目管理 ；ｅ ｉ 生命周期 ； ： Ｐ ｔ 网； ｒ 业务 流程 ； 竞争 力
一
性 的 工作 ． 因此 它 们包 含 一 定程 度 的不 确 定 性 ． 织 在 实 施 项 加 以运 营 的 ， 具 有 一 定 的 不确 定 性 ， 项 目分 为几 个 阶段 是 一 组 并 将 目时 通 常会 将 每 个项 目分 解为 几 个 项 目阶 段 ．以便 更 好 的 管 理 个 很 好 的 做法 。 目生命 周 期 指 的就 是这 样 一 系列 阶段 的集 合 。 项
项 目的 任务 、 源 分 布和 资 源 状况 。 资
２ 基 于 Ｐ 网的 项 目生 命 周 期管 理 、 ｅ
项 目范 围 是指 项 目要努 力 实 现什 么 ．客 户或 项 目发起 人要 通 过 项 目获得 什 么 样 的产 品 或 服 务 。项 目管 理 中 常用 工作 分解
针 对 项 目管理 中 的复 杂 性 和不 确定 性 ． 应用 基 于 Ｐ 网 的 结 构 ＷＢ ｅ Ｓ表 示 范 围 ， ｐ 网 中可 以采 用 分层 技 术 表 示 ， 图 在 ｅ 如
务 对 有 限 资源 的竞 争 及 由 此引 起 的 项 目活 动延 迟 缺 乏 应 有 的 考 ２２项 目的 三项 Ｐ 不 － ！ 每 一 个 项 目都 会 在 不 同 的程 度上 受 到 范 围 目标 、时 闻 目标
时延 Ｐｔ 网具 有 并 行 、 发 、 ｅｉ ｒ 并 同步 资源 分 享 的特 性 ． 时 还 和成 本 目标 的约 束 ．这 些 约 束 条 件在 项 目管 理 中有 时 被 称 为项 同
基于Petri网的网络化制造过程建模
分 析 方 法 ； 此 基 础 上 ， 立 了某 企 业 联 盟 网 络 化 制 造 过 程 的 Ｐ ｔｉ 模 型 ， 对 其 中 零 件 １的 生 产 加 工 子 过 在 建 ｅ 网 ｒ 并 程 进 行 了模 型 性 能 分 析 ， 可 达 性 、 如 活性 、 界 性 、 全 性 等 。 有 安
维普资讯
２０ ０ ７年 第 ２ 期 （ 总第 ４ ６期 ）
桂 林航 天 工业 高等 专科 学校 学报 Ｊ Ｕ Ｎ ＬＯ Ｕ ＬＮ Ｃ Ｌ Ｅ ＥＯ Ｅ Ｏ Ｐ Ｃ Ｅ Ｈ Ｏ Ｏ Ｙ 计 算机技 术及 应 用 Ｏ Ｒ Ａ ＦＧ ＩＩ Ｏ Ｌ Ｇ ＦＡ Ｒ Ｓ Ａ ＥＴ Ｃ Ｎ Ｌ Ｇ
组 成 联 盟 的协 同制 造 ， 为 了 制 造 企 业 变 革 与 发 展 的 核 心 就 使 整 个 系统 模 型 过 于 庞 大 ， 利 于 对 系 统 的 分 析 仿 真 。 成 不 模 式 。协 同制 造 是 指 几 个 有 共 同 目标 和 合 作 协 议 的 企业 之 所 以 ， 于 复 杂 、 型 的 工 作 流 ， 以 将 其 设 计 过 程 分 为 两 对 大 可 问 合 作 ， 网 络信 息 为 依托 ， 制 造 产 品 时 根 据 不 同企 业 的 个 阶 段 ［ ， 以 在 ６ 首先 将 整 个 过 程 分 成 若 干 子 过 程 ， 用 自底 向上 ］ 采 优势 ， 理选用 资源 ， 强企业竞争力 。 合 增 的 建 模 方 法 ， 建 立 底 层 各 个 任 务 细节 的模 型 ， 成 品 的 零 先 如 过 程 是 指 完 成 某 一 目标 （ 任务 ） 进 行 的 一 系 列 逻 辑 件 加 工 、 目的设 计 过 程 等 具 体 活 动 的模 型 ， 各 个 子 活 动 或 而 项 在
维普资讯
２０ ０ ７年 第 ２ 期 （ 总第 ４ ６期 ）
桂 林航 天 工业 高等 专科 学校 学报 Ｊ Ｕ Ｎ ＬＯ Ｕ ＬＮ Ｃ Ｌ Ｅ ＥＯ Ｅ Ｏ Ｐ Ｃ Ｅ Ｈ Ｏ Ｏ Ｙ 计 算机技 术及 应 用 Ｏ Ｒ Ａ ＦＧ ＩＩ Ｏ Ｌ Ｇ ＦＡ Ｒ Ｓ Ａ ＥＴ Ｃ Ｎ Ｌ Ｇ
组 成 联 盟 的协 同制 造 ， 为 了 制 造 企 业 变 革 与 发 展 的 核 心 就 使 整 个 系统 模 型 过 于 庞 大 ， 利 于 对 系 统 的 分 析 仿 真 。 成 不 模 式 。协 同制 造 是 指 几 个 有 共 同 目标 和 合 作 协 议 的 企业 之 所 以 ， 于 复 杂 、 型 的 工 作 流 ， 以 将 其 设 计 过 程 分 为 两 对 大 可 问 合 作 ， 网 络信 息 为 依托 ， 制 造 产 品 时 根 据 不 同企 业 的 个 阶 段 ［ ， 以 在 ６ 首先 将 整 个 过 程 分 成 若 干 子 过 程 ， 用 自底 向上 ］ 采 优势 ， 理选用 资源 ， 强企业竞争力 。 合 增 的 建 模 方 法 ， 建 立 底 层 各 个 任 务 细节 的模 型 ， 成 品 的 零 先 如 过 程 是 指 完 成 某 一 目标 （ 任务 ） 进 行 的 一 系 列 逻 辑 件 加 工 、 目的设 计 过 程 等 具 体 活 动 的模 型 ， 各 个 子 活 动 或 而 项 在
基于Petri网的工作流建模合理性验证算法
ｉ ｇ ａ ｄ Ａｐ ｌ ａｉｎ ２ ０ ４ （ ３ ：２ — ３ ． ｎ ｎ ｐｉ ｔ ｓ，０ ８．４ １ ） ２ ８ ２ １ ｃ ｏ
Ａ ｂ ｔａｃ ： Ｐ ｔｉ— ｔ ｓ ａ ｒ ｐｈｃ ｎｄ ｓｒ ｔ ｅ ｒ ｎｅ ｉ ｇ ａ ｉ ａ ｍ ａｈ ｍ ａｉａｌ ｍｏ ｌｎ ｔｏ ｔａｔ ｃ ｎ ｂｅ ａ ｐｌｅ ｔ ｔｅ ｔ ｃ ｄｅｉ ｇ ｏ ］ ｈ ａ ｐ ｉ ｄ ｏ，ｖ ｒｅｙ ｙ ｔ ａ ｉ ｔ ｓ ｓｅｍｓＩ ａ ｄｉ ｏ ｉ ｃ ｎ ． ｎ ｄ ｔ ｎ．ｔ ａ ｉ ｐ ｏ ｉ ｅ ｈｅ ｅ ｈｎ ｑ ｅ ａ ｄ ｏ ｌ ｆｒ ｈｅ ｒ ｖ ｄ ｔ ｔｃ ｉ ｕ ｓ ｎ ｔ ｏｓ ｏ ｔ ｗｏ ｋ ｏ ｒ ｆ ｗ ｍｏ ｅ ｓｒ ｔ ｒ ｌ ｎａｙ ｉ ａ ｄ ｌ ｄ ｌ ｔｕｃ ｕ ａ ａ ｌｓｓ ｎ ｐｅｆ ｒ ａ ｅ ｖ ｌ ｔ ｎ． ｓ ｄ ｎ ｈｅ ｎ ｌｓｓ ｆ ｒｏ ｍ ｎｃ ｅ ａｕａｉ Ｂａ ｅ ｎｇ ｋ ｗ ｒ ｔ ａ ｉ ｖ ｌｄａｉ ｎ ｈｅ ｒｍ ｓ ｎ ａ ｇ ｒｔ ｌ ａｉ ｌｔ ａｉ ｔｏ ｔ ｏｅ ａ ｄ ｌ ｏ ｈｍｓ， ｒ ｔｏ ａｉｙ ａｉ ａ ｉｎ ｌ ｏｉｈｍ ｉ ｐｅ ｅ ｔ ｄ ｏｎ ｙ ｉ ａ ａｉ ｎ ｌｔ ｖ ｌｄ ｔｏ ａ ｇ ｒｔ ｓ ｆ ｒ ｃ ｅ ａｎ ｍ ｅ ｄ ｄ ｎ ｅｄ， ｎｄ ａ ａ ｌ ｔｔ ｅ ｏｒ ｃ ｎ ｓ ｏ ｈ ｓ ｌ ｏ ｔ ｔ ａｓ ｈ ｃ ｒｅ ｔ ｅ ｓ ｆ ｔ ｉ ａｇ ｒ ｈｍ ｉ ｖ ｒｆｅ ｂ ａ ｅ ｍｐ ｅ ｉ ｓ ｅ ｉ ｄ ｙ ｎ ｘａ ｌ ． ｉ Ｋ ｅ ｗｏｒ ｙ ｄｓ： ｗｏ ｋ ｏ ｒ ｆ ｗ ｍｏｄ ｌ ｐ ｔｉ ｅ ；ａｉ ｎ ｌｔ ｖ ｌｄａｉ ｎ ｌ ｏ ｉ ｌ ｅ ； ｅｒ－ｎ ｔ ｒ ｔｏ ａｉｙ； ａ ｉ ｔｏ ａｇ ｒｔ ｈｍ
基于着色Petri网的钢结构施工过程仿真研究
基 于着 色 Ｐ ｔｉ ｅｒ 网的钢 结构 施 工 过 程 仿 真 研 究
郑卫 国 ， 吴乃森。 ，吴子燕。 崔文杰。 ，
（ ． 西 电力工 业勘察 设计 研 究 院 ， 西 南 宁 ５０ ２ ； ． 北工 业 大 学， 西 西安 ７０７ ） １广 广 ３ ０３ ２ 西 陕 １０２
维普资讯
Ｉ ｕｔａＥ ｇ ｅｒ ｇ ｎ ａａｅ ｎ Ｎ ． ，０６ ｎ ｓ ｉ ｎ ｉ ｅｉ ｄＭ ｎｇｍｅｔ ｏ４２０ ｄ ｒｌ ｎ ｎａ
工业工程与管理
２０ 年第 ４ ０６ 期
文 章编 号 ：０ ７５２ （０ ６０—０ ００ １０ —４９ ２０ ）４０ ７—４
Ａｂ ｔａ ｔ Ｂａ ｅ ｎ ｔ ｅ ｔ ｅ ｒ ｆ ｌｒ ｄ Ｐ ｔｉＮｅｓ ｈ ｓｐ ｐ ｒ ｓｎ ｏ ｏ ｅ ｏ ｅ ｏ ｒ — ｓｒ ｃ ． ｓ ｄｏ ｈ ｈ ｏ ｙ ｏ ｏ ｅ ｅ ｒ Ｃｏ ｔ ，ｔ ｉ ａ ｅ ，ｕ ｉ ｇ ｃ ｌｒ ｄ ｔ ｋ ｎ ｔ ｅ ｐ ｅ ｅ ｔｔ ｅ ｄｆｅ ｅ ｔｒ ｓ ｕ ｃ ｓ ｎ ｈ ｏ ｇ ｈ ｒｄ ａ ｉｎ ｍ ｏ ｅｌ ｇ ｍｅ ｈ ｄ，ｅ ｔｂ ｉｈ ｄ ｔ ｅ ｒ ｓ ｎ ｈ ｉｆｒ ｎ ｅ ｏ ｒｅ ，ａ ｄ ｔ ｒ ｕ ｈ ｔ ｅ ｇ ａ ｕ ｔｏ ｄ ｌｉ ｔ ｏ ｎ ｓａ ｌ ｅ ｈ ｓ ｓｍ ｕａ ｉｎ ｍｏ ｅ ｆｓｅ ｌｓｒ ｃｕ ｅｃ ｎ ｔｕ ｔ ｎ ｐ ｏ ｅ ｓ ｉ ｌｔｏ ｄ ｌ ｔ ｅ ｔｕ ｔ ｒ ｏ ｓｒ ｃｉ ｒ ｃ ｓ ：Ｏｎｔ ｅｂ ｓｓｏ ｈ ｘ ｅ ｉ ｅ ｔ ｌ ａ ａａ ｏ ｏ ｈ ａ ｉ ｆ ｅｅ ｐ ｒｍ ｎ ａ ｔ ｓ ｔ ｄ ｔ ｅｂ ｓｓ ｔ ｅｅ ｍ ｉｅ ｈ ａ ｄ ｍ ａ ｉｂ ｅ ， ｎ ｈ ｏ ｇ ｈ ｉ ｕａ ｉｎｏ ｅ ａ ｉｎ，ｏ ｔｉ ｅ ｈ ｈ ａ ｉ ，ｉ ｄ ｔ ｒ ｎ ｄｔ ｅｒ ｎ ｏ ｖ ｒａ ｌｓ ａ ｄｔ ｒ ｕ ｈｔ ｅｓｍ ｌｔｏ ｐ ｒ ｔ ｏ ｂ ａｎ ｄｔ ｅ
基于Petri网的工作流建模的研究
一பைடு நூலகம்
点， 并且可 以通 过标记 （ 令牌 ） 的流动模 拟实 际系统 的动态行 为和状态变化 ， 而形 象化地 描述 和分析 从 系统 的资源并发 、 同异步 、 并行 、 冲突分 布等行 为特 征 。其次 ，ｅｒ网又有 严格 而 准确 的数 学描 述 ， Ｐｔ ｉ 可 以通过建 立状态方程 、 方程和其他 数学方 法来 代数 描述 系统 的行为 ， 得到 Ｐｔ 网的分析方法 和技术 ， ｅｉ ｒ 可 以对 Ｐｔ 网进行静 态 的结构 分析和动态 的行为 ｅｉ ｒ
分析 ， 能与随机过程论、 信息论 、 排队论等结合在一 起描 述和分析 系统 的不 确定性或 随机性 ｌ 。 ３ ｊ Ｐｔ 网是 由节点 和弧组 成 的有 向图。它 的结 ｅｉ ｒ 构元 素包括位置或者 库所 （ｌｅ 、 ｐ ｃ）变迁 （ｒｎｉ ｎ ａ Ｔａｓｉ ） ｔ ｏ 和弧 （ｒ）位置用 于描 述系统的状态 。变迁用于描 ａ ， ｃ 述引起 系统状 态变 化 的事件 。弧用 于描述 状 态 和 变迁之间 的关 系。Ｐ ｔ 网 中另一重 要元 素是 令牌 ｅｉ ｒ （ ｋｎ ， 系统 的 具有 的特 点 、 ｔ ｅ）代表 ｏ 资源 。令牌 在位
具有 固定 程序 的活 动 的研 究 。通 过将 工 作分 解成 定义 良好 的任务 、 角色 ， 按 照相 应 的规 则 和过程 并
来执行任务和过程监控， 从而达到提高办事效率、 降低生产成本 、 提高企业 生产经营管理水 平和企 业 竞 争力 的 目的 。１９ 年工作 流管理联盟 （ ｒ ＇ｗ ９３ Ｗｏｌｌ ｄｏ Ｍａａｅ ｎ ｏｌｉ ） ｎｇｍｅｔ ａｔｎ 的成立 标志着 工 作流 技术 在 Ｃ ｉｏ 计 算机应用研究领 域具有了 自己独立 的地位 ， 相应 的概念与术语 也得 到 了人们 的承 认 。其对 工作 流 的定义是 ： 一类能够完全或者部分 自 动执行的经营 过程 ， 根据一 系列过程规则 ， 档 、 文 信息 或任务能 够 在不 同的执行者 之闻传 递 、 执行 。 从理论上来说 ， 工作 流管 理 是一 个包 括定 义 ， 监测 ， 控制 ， 和提高 ， 优化 以及相 关逻辑 支持 的复杂 过程 。是过程 ， 事件 ， 资源的协调一 致和有 机结合 。 随着企业竞争 的 日趋激烈 ， 越来越多 的企业 利用信 息技术去 支持业务 过程 处理 以适 应快 速变 化 的商 业环境 ， 提高 了企业 的工作 效率 和 工作 质量 。 从而 工作 流技 术是 实现企业业务过程建 模 、 业务过 程仿 真 分析 、 过程优化 、 业务 业务过程 管理与 集成 ， 而 进 最终实现业 务过 程 自动化 的核 心技术 。对 企业 利 用 工作 流的方法进 行业 务过 程建 模 和深入 分 析可 以规范化企业的业务流程 ， 发现业务 流程 中不合理 的环节 ， 而对 企业 的业务过程进行优 化重组 。 进 当前 ， 对工作 流技术 的研究可 以归纳 为三个 方 面Ｌ ， 一方面是 工作 流相 关理 论基 础 的研 究 ， ｌ第 Ｊ 包 括 工作流管理系统体 系结构 的研 究 、 模型 与定义语 言的研究 等 ； 二方 面是工 作 流实 现技 术 的研究 ， 第 其中包括工作流的事务特性 、 种先进软件 技术 的 各
点， 并且可 以通 过标记 （ 令牌 ） 的流动模 拟实 际系统 的动态行 为和状态变化 ， 而形 象化地 描述 和分析 从 系统 的资源并发 、 同异步 、 并行 、 冲突分 布等行 为特 征 。其次 ，ｅｒ网又有 严格 而 准确 的数 学描 述 ， Ｐｔ ｉ 可 以通过建 立状态方程 、 方程和其他 数学方 法来 代数 描述 系统 的行为 ， 得到 Ｐｔ 网的分析方法 和技术 ， ｅｉ ｒ 可 以对 Ｐｔ 网进行静 态 的结构 分析和动态 的行为 ｅｉ ｒ
分析 ， 能与随机过程论、 信息论 、 排队论等结合在一 起描 述和分析 系统 的不 确定性或 随机性 ｌ 。 ３ ｊ Ｐｔ 网是 由节点 和弧组 成 的有 向图。它 的结 ｅｉ ｒ 构元 素包括位置或者 库所 （ｌｅ 、 ｐ ｃ）变迁 （ｒｎｉ ｎ ａ Ｔａｓｉ ） ｔ ｏ 和弧 （ｒ）位置用 于描 述系统的状态 。变迁用于描 ａ ， ｃ 述引起 系统状 态变 化 的事件 。弧用 于描述 状 态 和 变迁之间 的关 系。Ｐ ｔ 网 中另一重 要元 素是 令牌 ｅｉ ｒ （ ｋｎ ， 系统 的 具有 的特 点 、 ｔ ｅ）代表 ｏ 资源 。令牌 在位
具有 固定 程序 的活 动 的研 究 。通 过将 工 作分 解成 定义 良好 的任务 、 角色 ， 按 照相 应 的规 则 和过程 并
来执行任务和过程监控， 从而达到提高办事效率、 降低生产成本 、 提高企业 生产经营管理水 平和企 业 竞 争力 的 目的 。１９ 年工作 流管理联盟 （ ｒ ＇ｗ ９３ Ｗｏｌｌ ｄｏ Ｍａａｅ ｎ ｏｌｉ ） ｎｇｍｅｔ ａｔｎ 的成立 标志着 工 作流 技术 在 Ｃ ｉｏ 计 算机应用研究领 域具有了 自己独立 的地位 ， 相应 的概念与术语 也得 到 了人们 的承 认 。其对 工作 流 的定义是 ： 一类能够完全或者部分 自 动执行的经营 过程 ， 根据一 系列过程规则 ， 档 、 文 信息 或任务能 够 在不 同的执行者 之闻传 递 、 执行 。 从理论上来说 ， 工作 流管 理 是一 个包 括定 义 ， 监测 ， 控制 ， 和提高 ， 优化 以及相 关逻辑 支持 的复杂 过程 。是过程 ， 事件 ， 资源的协调一 致和有 机结合 。 随着企业竞争 的 日趋激烈 ， 越来越多 的企业 利用信 息技术去 支持业务 过程 处理 以适 应快 速变 化 的商 业环境 ， 提高 了企业 的工作 效率 和 工作 质量 。 从而 工作 流技 术是 实现企业业务过程建 模 、 业务过 程仿 真 分析 、 过程优化 、 业务 业务过程 管理与 集成 ， 而 进 最终实现业 务过 程 自动化 的核 心技术 。对 企业 利 用 工作 流的方法进 行业 务过 程建 模 和深入 分 析可 以规范化企业的业务流程 ， 发现业务 流程 中不合理 的环节 ， 而对 企业 的业务过程进行优 化重组 。 进 当前 ， 对工作 流技术 的研究可 以归纳 为三个 方 面Ｌ ， 一方面是 工作 流相 关理 论基 础 的研 究 ， ｌ第 Ｊ 包 括 工作流管理系统体 系结构 的研 究 、 模型 与定义语 言的研究 等 ； 二方 面是工 作 流实 现技 术 的研究 ， 第 其中包括工作流的事务特性 、 种先进软件 技术 的 各
煤矿设备全寿命周期管理研究
煤矿设备全寿命周期管理研究摘要：随着现代工业的发展，企业中使用的设备大型化、自动化、高速化和复杂化程度越来越高，设备故障的危害也越来越大。
矿井设备是煤矿生产环节中重要的一环，直接关系着煤矿生产的效率和安全，本文将就煤矿设备全寿命周期管理进行相关研究和讨论。
关键字：煤矿、设备、全寿命周期、管理、完善、推动、维修引言：现代科学技术的飞速发展和市场竞争的加剧给制造企业带来了前所未有的机遇和挑战，企业为了提高自身的竞争力，不得不考虑生产系统设备故障对生产能力、生产成本、产品质量以及供货期和市场占有率的影响。
据资料显示，现代制造环境下设备的故障维修费用以及设备维护成本占产品制造成本的很高比例，所以设备的有效管理成为一个重要的内容。
1、煤矿设备全寿命周期管理概述1.1煤矿设备全寿命周期管理的概念设备在使用过程中，其零部件不可避免的会逐渐产生磨损、腐蚀、老化等现象。
随着零部件磨损程度、寿命的逐渐增大，设备的技术状态逐渐劣化，失去其原有功能和精度，即设备出现了故障或失效。
为了恢复设备的功能和精度而采取的更换，或修复磨损、失效的零件，并对整机或局部进行拆装、调整的活动，称为设备维修。
随着设备越来越复杂，故障对生产的影响越来越大，以及人们对设备故障规律认识越来越深入，事前维修根据设备故障规律，按预定周期和范围对设备进行维护、检查和修理，确保设备处于良好的技术状态。
事前维修又基本划分为预防性维修阶段、生产维修阶段、维修预防阶段，其中维修预防的概念具备了综合管理的性质，标志着设备管理观念的突破。
设备的全寿命管理就是对设备的规划、设计、制造、选型、购置、安装、调试、维修、改造、更新，直至报废的全过程进行的技术，经济的综合管理。
从宏观上看，设备全寿命管理属全社会管理。
具体来讲，全寿命周期管理是将现代设备管理的理念给应用过来，系统的看待设备的选型采购、组装调试以及运行维护各个环节，将设备全过程管理的系统性和完整性给充分纳入考虑范围，有序衔接各个管理要素，制定科学的方案，保证设备能够正常稳定的运行，最大程度的扩大企业效益。
基于Petri网的业务流程管理系统模型研究
模型
Ｐ ｅ ｔ ｒ ｉ 网技术 作 为一 种 过程建 模 和分 析 的工
具 ，最 早 在 １ ９ ６ ２ 年 提 出 ，它 可 以图形 化地 描 述一 个工作流过程［ ２ １ 。 目前 针 对 Ｐ ｅ ｔ ｒ ｉ 网 的 分 析技 术 也
业务 流程调整变化大且频率快 ，上述流程 固化的 信息化建设并不能满足 电力企业的发展 。通过对
供 宝 贵 和学 科 的指 导依 据 。本 文 尝试 将 业 务 流程 模 型 转化 为 Ｐ ｅ ｔ ｒ ｉ 网 ，在 此 基 础 上对 简 化 后 的 Ｐ ｅ ｔ ｒ ｉ
技术支持系统 、生产管理技术支持系统 、Ｃ Ｒ Ｍ系
统 、Ｅ Ｒ Ｐ系 统 以及 Ｅ ＡＭ 系统 、Ｓ Ｃ Ｍ 系统 、送 配 电 管理 的 Ｄ ＭＳ ／ Ｅ ＭＳ 、Ｓ Ｃ Ａ Ｄ Ａ 等 应 用 业 务 系 统 。 对
／ ．
电力电
ＤＯｈ １ ０ ． ３ ９ ６ ９／ ｊ ． ｉ ｓ ｓ ｎ ． １ ０ ０ ９ － ９ ４ ９ ２ ． ２ ０ １ ４ ． ０ １ ． ０ １ ９
基于 Ｐ ｅ ｔ ｒ ｉ 网的业务流程管理系统模型研究
罗 常
（ 广 东电网公 司 茂名供 电局 ， 广 东茂名 ５ ２ ５ ０ ０ ０ ）
Ａｂ ｓ ｔ ｒ ａ ｃ ｔ ：Ｐ ｅ ｔ ｒ ｉ ｎ ｅ ｔ ｉ ｓ ａ ｃ ｏ ｍｍｏ ｎ ｍｏ ｄ ｅ ｌ ｏ ｆ ｄ ｅ ｓ ｃ ｉｐ ｒ ｔ ｉ ｏ ｎ ｏ ｆ ｔ ｈ ｅ ｒ ｅ ｌ ａ ｔ ｉ ｏ ｎ ｓ ｈｉ ｐ ｂ ｅ ｔ ｗｅ ｅ ｎ ｔ ｈ ｅ ｃ ｏ ｎ ｄｉ ｔ ｉ ｏ ｎ ｓ ａ ｎ ｄ ｔ ａ ｓ ｋ ｓ ．Ｔ ｈ ｉ ｓ ｐ ａ ｐ ｅ ｒ ｄ ｅ ｓ ｃ ｒ ｉ ｂ ｅ ｓ Ｗｅ ｂ ｓ ｅ ｒ ｖ ｉ ｃ ｅ ｓ ａ ｎ ｄ Ｐ ｅ ｔ ｒ ｉ ｎ ｅ ｔ ｂ ａ ｓ ｅ ｄ ｏ ｎ ｔ ｈ ｅ ｃ ｏ ｍｂｉ ｎ ａ ｔ ｉ ｏ ｎ ｏ ｆ ａ ｐｏ ｗｅ ｒ ｉ ｎ ｄ ｕ ｓ ｔ ｒ ｙ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｍａ ｎ ａ ｇ ｅ ｍｅ ｎ ｔ ｓ ｙ ｓ ｔ ｅ ｍ ｆ ｏ ｒ ａ ｃ ａ ｓ ｅ， ｔ ｈ ｅ ｅ ｓ ｔ ａ ｂ ｌ ｉ ｓ ｈ ｍｅ ｎ ｔ ｏ ｆ ａ Ｐ ｅ ｔ ｒ ｉ ｎ ｅ ｔ —ｂ ａ ｓ ｅ ｄ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｍｏ ｄ ｅ ｌ ｓ ．Ｂａ ｓ ｅ ｄ ｏ ｎ ｓ ｉ ｍｐ ｌ ｉ ｆ ｉ ｅ ｄ Ｐ ｅ ｔ ｉ ｆ ｎ ｅ ｔ ， ａ ｄ ｅ ａ ｄ ｌ ｏ ｃ ｋ ａ ｎ ａ ｌ ｙ ｓ ｉ ｓ ｔ ｏ ｔ ｈ ｉ ｓ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｍｏ ｄ ｅ ｌ ｉ ｎ ｇ ａ ｓ ｔ ｈ ｅ ｇ ｕｉ ｄ ｉ ｎ ｇ ｉ ｄ ｅ ｏ ｌ ｏ ｇ ｙ ｗａ ｓ ｇ ｉ ｖ ｅ ｎ， ｗｈ ｉ ｃ ｈ ｃ ａ ｎ ｉ ｍｐｒ ｏ ｖ ｅ ｂ ｕ ｓ ｉ ｎ ｅ ｓ ｓ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｓ ｙ ｓ ｔ ｅ ｍ ｓ ｅ ｃ ｕ ｉｔ ｒ ｙ， ｓ ｔ ａ ｂ ｉ ｌ ｉ ｔ ｙ ａ ｎ ｄ ｒ ｏ ｂ ｕ ｓ ｔ ｎ ｅ ｓ ｓ ． Ｋｅ ｙ ｗｏ ｒ ｄｓ ：Ｐ ｅ ｔ ｒ ｉ ｎ ｅ ｔ ；ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｍａ ｎ ａ ｇ ｅ ｍｅ ｎ ｔ ｓ ｙ ｓ ｔ ｅ ｍ ； ｗｏ ｒ ｋ ｌｏ ｆ ｗ； Ｗ ｅ ｂ Ｓ ｅ ｒ ｖ ｉ ｃ ｅ ｓ
Ｐ ｅ ｔ ｒ ｉ 网技术 作 为一 种 过程建 模 和分 析 的工
具 ，最 早 在 １ ９ ６ ２ 年 提 出 ，它 可 以图形 化地 描 述一 个工作流过程［ ２ １ 。 目前 针 对 Ｐ ｅ ｔ ｒ ｉ 网 的 分 析技 术 也
业务 流程调整变化大且频率快 ，上述流程 固化的 信息化建设并不能满足 电力企业的发展 。通过对
供 宝 贵 和学 科 的指 导依 据 。本 文 尝试 将 业 务 流程 模 型 转化 为 Ｐ ｅ ｔ ｒ ｉ 网 ，在 此 基 础 上对 简 化 后 的 Ｐ ｅ ｔ ｒ ｉ
技术支持系统 、生产管理技术支持系统 、Ｃ Ｒ Ｍ系
统 、Ｅ Ｒ Ｐ系 统 以及 Ｅ ＡＭ 系统 、Ｓ Ｃ Ｍ 系统 、送 配 电 管理 的 Ｄ ＭＳ ／ Ｅ ＭＳ 、Ｓ Ｃ Ａ Ｄ Ａ 等 应 用 业 务 系 统 。 对
／ ．
电力电
ＤＯｈ １ ０ ． ３ ９ ６ ９／ ｊ ． ｉ ｓ ｓ ｎ ． １ ０ ０ ９ － ９ ４ ９ ２ ． ２ ０ １ ４ ． ０ １ ． ０ １ ９
基于 Ｐ ｅ ｔ ｒ ｉ 网的业务流程管理系统模型研究
罗 常
（ 广 东电网公 司 茂名供 电局 ， 广 东茂名 ５ ２ ５ ０ ０ ０ ）
Ａｂ ｓ ｔ ｒ ａ ｃ ｔ ：Ｐ ｅ ｔ ｒ ｉ ｎ ｅ ｔ ｉ ｓ ａ ｃ ｏ ｍｍｏ ｎ ｍｏ ｄ ｅ ｌ ｏ ｆ ｄ ｅ ｓ ｃ ｉｐ ｒ ｔ ｉ ｏ ｎ ｏ ｆ ｔ ｈ ｅ ｒ ｅ ｌ ａ ｔ ｉ ｏ ｎ ｓ ｈｉ ｐ ｂ ｅ ｔ ｗｅ ｅ ｎ ｔ ｈ ｅ ｃ ｏ ｎ ｄｉ ｔ ｉ ｏ ｎ ｓ ａ ｎ ｄ ｔ ａ ｓ ｋ ｓ ．Ｔ ｈ ｉ ｓ ｐ ａ ｐ ｅ ｒ ｄ ｅ ｓ ｃ ｒ ｉ ｂ ｅ ｓ Ｗｅ ｂ ｓ ｅ ｒ ｖ ｉ ｃ ｅ ｓ ａ ｎ ｄ Ｐ ｅ ｔ ｒ ｉ ｎ ｅ ｔ ｂ ａ ｓ ｅ ｄ ｏ ｎ ｔ ｈ ｅ ｃ ｏ ｍｂｉ ｎ ａ ｔ ｉ ｏ ｎ ｏ ｆ ａ ｐｏ ｗｅ ｒ ｉ ｎ ｄ ｕ ｓ ｔ ｒ ｙ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｍａ ｎ ａ ｇ ｅ ｍｅ ｎ ｔ ｓ ｙ ｓ ｔ ｅ ｍ ｆ ｏ ｒ ａ ｃ ａ ｓ ｅ， ｔ ｈ ｅ ｅ ｓ ｔ ａ ｂ ｌ ｉ ｓ ｈ ｍｅ ｎ ｔ ｏ ｆ ａ Ｐ ｅ ｔ ｒ ｉ ｎ ｅ ｔ —ｂ ａ ｓ ｅ ｄ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｍｏ ｄ ｅ ｌ ｓ ．Ｂａ ｓ ｅ ｄ ｏ ｎ ｓ ｉ ｍｐ ｌ ｉ ｆ ｉ ｅ ｄ Ｐ ｅ ｔ ｉ ｆ ｎ ｅ ｔ ， ａ ｄ ｅ ａ ｄ ｌ ｏ ｃ ｋ ａ ｎ ａ ｌ ｙ ｓ ｉ ｓ ｔ ｏ ｔ ｈ ｉ ｓ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｍｏ ｄ ｅ ｌ ｉ ｎ ｇ ａ ｓ ｔ ｈ ｅ ｇ ｕｉ ｄ ｉ ｎ ｇ ｉ ｄ ｅ ｏ ｌ ｏ ｇ ｙ ｗａ ｓ ｇ ｉ ｖ ｅ ｎ， ｗｈ ｉ ｃ ｈ ｃ ａ ｎ ｉ ｍｐｒ ｏ ｖ ｅ ｂ ｕ ｓ ｉ ｎ ｅ ｓ ｓ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｓ ｙ ｓ ｔ ｅ ｍ ｓ ｅ ｃ ｕ ｉｔ ｒ ｙ， ｓ ｔ ａ ｂ ｉ ｌ ｉ ｔ ｙ ａ ｎ ｄ ｒ ｏ ｂ ｕ ｓ ｔ ｎ ｅ ｓ ｓ ． Ｋｅ ｙ ｗｏ ｒ ｄｓ ：Ｐ ｅ ｔ ｒ ｉ ｎ ｅ ｔ ；ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｍａ ｎ ａ ｇ ｅ ｍｅ ｎ ｔ ｓ ｙ ｓ ｔ ｅ ｍ ； ｗｏ ｒ ｋ ｌｏ ｆ ｗ； Ｗ ｅ ｂ Ｓ ｅ ｒ ｖ ｉ ｃ ｅ ｓ
基于Petri网的井喷事故应急响应系统动态过程建模
பைடு நூலகம்
急响应系统的工作流程 ， 并利用 Ｐ ｅ ｔ ｒ ｉ 网 对该 系 统 工作 流程 进行 了动 态 过 程 建 模 ， 以为 井 喷 事 故 应 急 响 应 系 统 的 优
化提供理论基础 。 关 键 词 ：井 喷 事 故 ； 应 急 响应 系统 ； Ｐ ｅ ｔ ｒ ｉ 网； 动 态 过 程 建 模
张 聪， 李 辉， 何华月
（ 中国地质 大 学工程 学院 ， 武汉 ４ ３ ０ ０ ７ ４ ）
摘 要 ：井 喷 事 故 是 石 油 天 然 气 勘 探 开 发 行 业 主 要 事 故 之 一 ， 它不仅 可造成重 大的财 产损失 ， 也可造 成极其不 良 的 环境 破坏 和社 会 影 响 。本 文 在 对 井 喷 事 故 应 急 响应 系统 组 织 机 构 的职 责 进 行 分 析 的 基 础 上 ， 建 立 了 井 喷 事 故 应
第 ２ ０卷 第 ３期
２ ０１ ３年
工 安 全 与 环 境
程
Ｖ０ １ ． ２ ０ ＮＯ ．３
Ｍ ａ ｙ ２０ １ ３
５月
Ｓａ ｆ ｅ ｔ ｙ ａ ｎｄ Ｅｎ ｖ ｉ ｒ ｏ ｎｍ ｅ ｎｔ ａ ｌ Ｅｎｇ ｉ ｎｅ ｅ ｒ ｉ ｎｇ
基于 Ｐ ｅ ｔ ｒ ｉ 网的井 喷事 故 应 急 响应 系统 动 态 过 程 建模
ａ ｎｄ ｓ ｏ ｃ ｉ ａ ｌ ｉ ｎｆ ｌ ｕ ｅ ｎｃ ｅ ． Ｔｈｅ ｒ ｅ ｆ ｏ ｒ ｅ ， ｔ ｈｅ ｅ ｓ ｔ ａ ｂ ｌ ｉ ｓ ｈｍ ｅ ｎｔ ｏ ｆ ａ ｎ ｅ ｍｅ ｒ ｇｅ ｎｃ ｙ ｒ ｅ ｓ ｐ ｏ ｎｓ ｅ ｓ ｙ ｓ ｔ ｅ ｍ ｗｉ ｔ ｈ ｒ ｅ ａ ｓ ｏ ｎａ ｂｌ ｅ ｓ ｔ ｒ ｕ ｃ — ｔ ｕ ｒ ｅ， ｓ ｍ ｏｏ ｔ ｈ ｉ ｎ ｆ ｏ ｒ ｍａ ｔ ｉ ｏ ｎ ｆ ｌ ｏ ｗ ａ ｎｄ ｄｅ ｐａ ｒ ｔ ｍｅ ｎｔ ｓ ’ｃ ｏ ｏ ｒ ｄ ｉ ｎ ａ ｔ ｉ ｏ ｎ ａ ｇ ａ ｉ ｎ ｓ ｔ ｔ ｈ ｅ ａ ｃ ｃ ｉ ｄ ｅ ｎ ｔ ｓ ｏ ｆ ｔ ｈｉ ｓ ｔ ｙ ｐｅ ｗｉ ｌ ｌ ｇ ｒ ｅ ａ ｔ ｌ ｙ ｉ ｍｐ ｒ ｏ ｖｅ ｔ ｈ ｅ ｅ ｆ ｆ ｉ ｃ ｉ ｅ ｎｃ ｙ ｏ ｆ ｅ ｍｅ ｒ ｇ ｅ ｎ ｃ ｙ ｒ ｅ ｓ ｃ ｕｅ ． Ｂａ ｓ ｅ ｄ ｏ ｎ ｔ ｈ ｅ ａ ｎａ ｌ ｙｓ ｉ ｓ ｏ ｆ ｔ ｈ ｅ ｅ ｍｅ ｒ ｇｅ ｎｃ ｙ ｒ ｅ ｓ ｐｏ ｎｓ ｅ ｓ ｙ ｓ ｔ ｅ ｍ ｏ ｆ ｔ ｈ ｅ ｂ ｌ ｏ ｗ ｏｕ ｔ ａ ｃ ｃ ｉ ｄ ｅ ｎｔ ， ｔ ｈｉ ｓ ｐ ａ ｐ ｅ ｒ ｄｒ ａ ｗｓ ｔ ｈｅ ａ ｃ ｔ ｉ ｏ ｎ ｗｏ ｒ ｋｆ ｌ ｏ ｗ ｏ ｆ ｔ ｈ ｅ ｓ ｙ ｓ ｔ ｅ ｍ， ａ ｎｄ ａ ｐｐ ｌ ｉ ｅ ｓ Ｐｅ ｔ ｒ ｉ Ｎｅ ｔ ｔ ｏ ｔ ｈｅ ｄ ｙ ｎａ ｍｉ ｃ ｍｏ ｄｅ ｌ ｉ ｎｇ ｏ ｆ ｔ ｈｅ ｅ ｍｅ ｒ ｇｅ ｎ ｃ ｙ ｒ ｅ ｓ ｐ ｏ ｎｓ ｅ ｓ ｙｓ ｔ ｅ ｍ ｆ ｏｒ ｔ ｈｅ ｂｌ ｏ ｗｏ ｕｔ ａ ｃ ｃ ｉ ｄｅ ｎｔ Ｓ Ｏ ａ ｓ ｔ ｏ ｐｒ ｏ ｖ ｉ ｄｅ ｔ ｈ ｅ ｔ ｈｅ ｏ ｒ ｅ ｔ ｉ ｃ ａ ｌ ｂａ ｓ ｉ ｓ ｆ ｏ ｒ ｔ ｈｅ ｏ ｐｔ ｉ ｍｉ ｚ ａ ｔ ｉ ｏ ｎ ｏｆ ｔ ｈｅ ｅ ｍｅ ｒ ｇ ｅ ｎｃ ｙ ｒ ｅ ｓ ｐｏ ｎｓ ｅ ｓ ｙ ｓ ｔ ｅ ｍ． Ｋｅ ｙ ｗｏ ｒ ｄｓ ：ｂｌ ｏ ｗ ｏｕ ｔ ａ ｃ ｃ ｉ ｄ ｅ ｎ ｔ ； ｅ ｍｅ ｒ ｇｅ ｎｃ ｙ ｒ ｅ ｓ ｐｏ ｎｓ ｅ ｓ ｙ ｓ ｔ ｅ ｍ； Ｐｅ ｔ ｒ ｉ Ｎｅ ｔ ； ｄｙ ｎａ ｍｉ ｃ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｍｏ ｄｅ ｌ ｉ ｎｇ
急响应系统的工作流程 ， 并利用 Ｐ ｅ ｔ ｒ ｉ 网 对该 系 统 工作 流程 进行 了动 态 过 程 建 模 ， 以为 井 喷 事 故 应 急 响 应 系 统 的 优
化提供理论基础 。 关 键 词 ：井 喷 事 故 ； 应 急 响应 系统 ； Ｐ ｅ ｔ ｒ ｉ 网； 动 态 过 程 建 模
张 聪， 李 辉， 何华月
（ 中国地质 大 学工程 学院 ， 武汉 ４ ３ ０ ０ ７ ４ ）
摘 要 ：井 喷 事 故 是 石 油 天 然 气 勘 探 开 发 行 业 主 要 事 故 之 一 ， 它不仅 可造成重 大的财 产损失 ， 也可造 成极其不 良 的 环境 破坏 和社 会 影 响 。本 文 在 对 井 喷 事 故 应 急 响应 系统 组 织 机 构 的职 责 进 行 分 析 的 基 础 上 ， 建 立 了 井 喷 事 故 应
第 ２ ０卷 第 ３期
２ ０１ ３年
工 安 全 与 环 境
程
Ｖ０ １ ． ２ ０ ＮＯ ．３
Ｍ ａ ｙ ２０ １ ３
５月
Ｓａ ｆ ｅ ｔ ｙ ａ ｎｄ Ｅｎ ｖ ｉ ｒ ｏ ｎｍ ｅ ｎｔ ａ ｌ Ｅｎｇ ｉ ｎｅ ｅ ｒ ｉ ｎｇ
基于 Ｐ ｅ ｔ ｒ ｉ 网的井 喷事 故 应 急 响应 系统 动 态 过 程 建模
ａ ｎｄ ｓ ｏ ｃ ｉ ａ ｌ ｉ ｎｆ ｌ ｕ ｅ ｎｃ ｅ ． Ｔｈｅ ｒ ｅ ｆ ｏ ｒ ｅ ， ｔ ｈｅ ｅ ｓ ｔ ａ ｂ ｌ ｉ ｓ ｈｍ ｅ ｎｔ ｏ ｆ ａ ｎ ｅ ｍｅ ｒ ｇｅ ｎｃ ｙ ｒ ｅ ｓ ｐ ｏ ｎｓ ｅ ｓ ｙ ｓ ｔ ｅ ｍ ｗｉ ｔ ｈ ｒ ｅ ａ ｓ ｏ ｎａ ｂｌ ｅ ｓ ｔ ｒ ｕ ｃ — ｔ ｕ ｒ ｅ， ｓ ｍ ｏｏ ｔ ｈ ｉ ｎ ｆ ｏ ｒ ｍａ ｔ ｉ ｏ ｎ ｆ ｌ ｏ ｗ ａ ｎｄ ｄｅ ｐａ ｒ ｔ ｍｅ ｎｔ ｓ ’ｃ ｏ ｏ ｒ ｄ ｉ ｎ ａ ｔ ｉ ｏ ｎ ａ ｇ ａ ｉ ｎ ｓ ｔ ｔ ｈ ｅ ａ ｃ ｃ ｉ ｄ ｅ ｎ ｔ ｓ ｏ ｆ ｔ ｈｉ ｓ ｔ ｙ ｐｅ ｗｉ ｌ ｌ ｇ ｒ ｅ ａ ｔ ｌ ｙ ｉ ｍｐ ｒ ｏ ｖｅ ｔ ｈ ｅ ｅ ｆ ｆ ｉ ｃ ｉ ｅ ｎｃ ｙ ｏ ｆ ｅ ｍｅ ｒ ｇ ｅ ｎ ｃ ｙ ｒ ｅ ｓ ｃ ｕｅ ． Ｂａ ｓ ｅ ｄ ｏ ｎ ｔ ｈ ｅ ａ ｎａ ｌ ｙｓ ｉ ｓ ｏ ｆ ｔ ｈ ｅ ｅ ｍｅ ｒ ｇｅ ｎｃ ｙ ｒ ｅ ｓ ｐｏ ｎｓ ｅ ｓ ｙ ｓ ｔ ｅ ｍ ｏ ｆ ｔ ｈ ｅ ｂ ｌ ｏ ｗ ｏｕ ｔ ａ ｃ ｃ ｉ ｄ ｅ ｎｔ ， ｔ ｈｉ ｓ ｐ ａ ｐ ｅ ｒ ｄｒ ａ ｗｓ ｔ ｈｅ ａ ｃ ｔ ｉ ｏ ｎ ｗｏ ｒ ｋｆ ｌ ｏ ｗ ｏ ｆ ｔ ｈ ｅ ｓ ｙ ｓ ｔ ｅ ｍ， ａ ｎｄ ａ ｐｐ ｌ ｉ ｅ ｓ Ｐｅ ｔ ｒ ｉ Ｎｅ ｔ ｔ ｏ ｔ ｈｅ ｄ ｙ ｎａ ｍｉ ｃ ｍｏ ｄｅ ｌ ｉ ｎｇ ｏ ｆ ｔ ｈｅ ｅ ｍｅ ｒ ｇｅ ｎ ｃ ｙ ｒ ｅ ｓ ｐ ｏ ｎｓ ｅ ｓ ｙｓ ｔ ｅ ｍ ｆ ｏｒ ｔ ｈｅ ｂｌ ｏ ｗｏ ｕｔ ａ ｃ ｃ ｉ ｄｅ ｎｔ Ｓ Ｏ ａ ｓ ｔ ｏ ｐｒ ｏ ｖ ｉ ｄｅ ｔ ｈ ｅ ｔ ｈｅ ｏ ｒ ｅ ｔ ｉ ｃ ａ ｌ ｂａ ｓ ｉ ｓ ｆ ｏ ｒ ｔ ｈｅ ｏ ｐｔ ｉ ｍｉ ｚ ａ ｔ ｉ ｏ ｎ ｏｆ ｔ ｈｅ ｅ ｍｅ ｒ ｇ ｅ ｎｃ ｙ ｒ ｅ ｓ ｐｏ ｎｓ ｅ ｓ ｙ ｓ ｔ ｅ ｍ． Ｋｅ ｙ ｗｏ ｒ ｄｓ ：ｂｌ ｏ ｗ ｏｕ ｔ ａ ｃ ｃ ｉ ｄ ｅ ｎ ｔ ； ｅ ｍｅ ｒ ｇｅ ｎｃ ｙ ｒ ｅ ｓ ｐｏ ｎｓ ｅ ｓ ｙ ｓ ｔ ｅ ｍ； Ｐｅ ｔ ｒ ｉ Ｎｅ ｔ ； ｄｙ ｎａ ｍｉ ｃ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｍｏ ｄｅ ｌ ｉ ｎｇ
基于Petri网的并行测试系统任务过程建模
（．军械 工程 学院 导 弹 工程 系，河北 石 家庄 ０ ０ ０ ； １ ５ ０ ３
２ ．武汉 军械 士 官学校 ，湖北 武 汉 ４ ０ ７ ） ３ ０ ５
摘 要 ：针对 并行 测试 系统 中的测试 过程 复杂 的问题 ，提 出测试任 务分 解的原 则和 方法 。对分 解后 的子任 务构造 任务相 关
Ｔ ｓ ｒ ｃ ｓ ｄ ｌ ｆ ａａ ｌｌ ｅ ｔ ｙ ｔｍ ａ ｅ ｎＰｅｒ ｅ ａ ｋｐ ｏ ｅ ｓｍｏ ｅ ｒ ｌ ｓ ｓｅ ｂ ｓ ｄｏ ｔ ｎ ｔ ｏｐ ｅｔ ｓ ｉ
Ｚ ＵＯＪ －ｎ ＭＥ Ｇ Ｃ ｅ Ｈ ａ ｉｇ ， ｉｊ Ｎ ｈｎ
（． ｅａｔ ｎ Ｍｉ ｉ ｎ ｉｅｒ ｇ ｒｎ ｃ ｎ ｉｅｒ ｇ ｏｌ ｅ Ｓ ｉａｈ ａｇ０ ０ ０ ， ｈｎ ； １ Ｄ ｐｒ ｍｅｔ ｆ ｓ ｌＥ ｇｎｅｉ ，Ｏ ｄ ａ ｅ ｇｎｅｉ ｌ ｇ ， ｈ ｉ ｕｎ ５ ０ ３ Ｃ ｉａ ｏ ｓｅ ｎ ｎ Ｅ ｎ Ｃ ｅ ｊｚ ２ Ｗｕ ａ ｒｎｎ ｅ ｏ ｃｍｍｉ ｉ ｅ ｆ ｃｒ ｃ ｏ ｌ Ｗｕ ａ ３ ０ ５ Ｃ ｉａ ． ｈ ｎ ｄ ａｃ ｎｏ Ｏ Ｎ ｓ ｏ ｄ ｉ ｅ ｈ ｏ， ｈｎ４ ０ ７ ， ｈｎ） ｓｎ Ｏ Ｓ
Ａｂ ｔ ａ ｔ Ｆ ｒ ｈ ｏ ｌ ｘ ｔ ｆ ｅ ｔ ｒ ｃ ｓ ａ ａｌ ｌ ｅ ｔ ｙ ｔｍ， ｔ ｅｐ ｉ ｃ ｐ ｅａ ｄ ｍｅｈ ｄ ｏ ｔ ｓ ｔ ｓ ｅ ｏ ｏ ｉ ｏ ｒ ｕ ｒ ｒ ｄ ｓ ｒ ｃ ： ｏ ｅｃ ｍｐ ｅ ｉ ｏ ｔｓ ｏ ｅ ｓ ｎｐ ｒ ｌ ｓ ｓ ｓ ｔ ｙ ｐ ｉ ｅｔ ｅ ｈ ｒｎ ｉ ｌ ｎ ｔ ｏ ｆ ｅ ｔ ａ ｋ ｄ ｃ ｍｐ ｓｔ ｎ ａ ｅｐ ｔ ｏ ｗａ ． ｉ ｆ Ａｎ ｅｔｓ ｏ ｒ ｌｔｏ ｒｐ ｏ ｓｒ ｃｅ ａ ｅ ｎｄ ｃ ｍｐ ｓ ｄｓ ｂ ａ ｋ ． Ｂａ ｅ ｎ ｔ ｅ ａ ｋ ｃ ｒｅ ａｉ ｎ ｇ ａ ｈ ａ ｄ ｔ ｅ ａ ｅｏ ｒ ｓ ｕ ｃ ｓ ｄｔ ｋ ｃ ｒｅ ａｉ ｎｇ ａ ｈ ｉ ｃ ｎ ｔ ｔ ｄｂ ｓ ｄ ｏ ｅ ｏ ｏ ｅ ｔｓ ｓ ｈ ａ ｓ ｕ ｕ ｓ ｄｏ ｓ ｏ ｌ ｔ ｒ ｐ ｓ ｆ ｅ ｏ ｒ ｅ ｈ ｔ ｏ ｎ ｈ ｃ ｕ ｅ ， ｔ ｅｔ ｓ ｒ ｃ ｓ ｄ ｌ ａ ｅ ｎ Ｐ ｔ ｅ ｓａ ｌ ｈ ｄａ ｃ ｒ ｉ ｇ ｔ ｅａ ｇ ｒ ｈ ｏ ｔ ｓ ｒ ｃ ｓ ｄ １ Ｔｈ ｓ ｒ ｃ ｓ ｄ ｌ ｓ ｄ ｈ ｋｐ ｏ ｅ ｓｍｏ ｅ ｓ ｄ ｏ ｅｒ ｎ ｔ ｓ ｔｂ ｉ ｅ ｃ ｏ ｄ ｎ ｏｔ ｌ ｏ ｉ ｍ ｆ ａ ｋ ｐ ｏ ｅ ｓｍｏ ｅ ． ａ ｂ ｉ ｉｅ ｓ ｈ ｔ ｅｔ ｋ ｐ ｏ ｅ ｓ ａ ｍｏ ｅ ｄ ｓ ｒ ｅ ｈ ｅ ｕ ｎ ｉｌ ｎ ｏ ｃ ｒｅ ｔ ｒ ｃ ｓ ｆ ｅ ｔ ｒ ｃ ｓ ． Ｔ ｅ ｅｐ ａ ｌｌｓ ａ ｎ ｂ ｓ ｓｉ ｄ ｖ ｌ ｐ ｄｔ ｒ ｕ ｈ ｔ ｅｍｏ ｅ， ａ ｄ ｅ ｃ ｂ ｅｓ ｑ ｅ ｔ ｄｃ ｎ ｕ ｒ ｎ ｏ ｅ ｓｏ ｔ ｓ ｏ ｅ ｓ ｈ ｎｔ ａ ｌ ｉｍ ｍｏ ｇｓ ｔ ｋ ｅ ｅ ｏ ｅ ｏ ｇ ｄ ｌ ｎ ｉ ｔ ａａ ｐ ｐ ｈ ｒ ｅ ｕａ ｓ ｈ ｈ ｔ ｅｍｏ ｅ ｆｅ ｅｆ ｕ ｄ ｔ ｎ ｆ ｒ ｈ ａ ａｌ ｌ ｓ ｃ ｅ ｕ ｉ ｇ ｏ ｐ ａｌ ｌ ｅ ｔ ｙ ｔｍ ． ｈ ｄ ｌ ｆ ｒ ｏ ｎ ａ ｉ ｏ ｅｐ ｌ ｋ ｓ ｈ ｄ ｌ ｆ ａ ｌ ｓ ｓ ｏ ｈ ｔ ｏ ｔ ｒ ｅｔ ａ ｎ ｒ ｅｔ ｓ ｅ
２ ．武汉 军械 士 官学校 ，湖北 武 汉 ４ ０ ７ ） ３ ０ ５
摘 要 ：针对 并行 测试 系统 中的测试 过程 复杂 的问题 ，提 出测试任 务分 解的原 则和 方法 。对分 解后 的子任 务构造 任务相 关
Ｔ ｓ ｒ ｃ ｓ ｄ ｌ ｆ ａａ ｌｌ ｅ ｔ ｙ ｔｍ ａ ｅ ｎＰｅｒ ｅ ａ ｋｐ ｏ ｅ ｓｍｏ ｅ ｒ ｌ ｓ ｓｅ ｂ ｓ ｄｏ ｔ ｎ ｔ ｏｐ ｅｔ ｓ ｉ
Ｚ ＵＯＪ －ｎ ＭＥ Ｇ Ｃ ｅ Ｈ ａ ｉｇ ， ｉｊ Ｎ ｈｎ
（． ｅａｔ ｎ Ｍｉ ｉ ｎ ｉｅｒ ｇ ｒｎ ｃ ｎ ｉｅｒ ｇ ｏｌ ｅ Ｓ ｉａｈ ａｇ０ ０ ０ ， ｈｎ ； １ Ｄ ｐｒ ｍｅｔ ｆ ｓ ｌＥ ｇｎｅｉ ，Ｏ ｄ ａ ｅ ｇｎｅｉ ｌ ｇ ， ｈ ｉ ｕｎ ５ ０ ３ Ｃ ｉａ ｏ ｓｅ ｎ ｎ Ｅ ｎ Ｃ ｅ ｊｚ ２ Ｗｕ ａ ｒｎｎ ｅ ｏ ｃｍｍｉ ｉ ｅ ｆ ｃｒ ｃ ｏ ｌ Ｗｕ ａ ３ ０ ５ Ｃ ｉａ ． ｈ ｎ ｄ ａｃ ｎｏ Ｏ Ｎ ｓ ｏ ｄ ｉ ｅ ｈ ｏ， ｈｎ４ ０ ７ ， ｈｎ） ｓｎ Ｏ Ｓ
Ａｂ ｔ ａ ｔ Ｆ ｒ ｈ ｏ ｌ ｘ ｔ ｆ ｅ ｔ ｒ ｃ ｓ ａ ａｌ ｌ ｅ ｔ ｙ ｔｍ， ｔ ｅｐ ｉ ｃ ｐ ｅａ ｄ ｍｅｈ ｄ ｏ ｔ ｓ ｔ ｓ ｅ ｏ ｏ ｉ ｏ ｒ ｕ ｒ ｒ ｄ ｓ ｒ ｃ ： ｏ ｅｃ ｍｐ ｅ ｉ ｏ ｔｓ ｏ ｅ ｓ ｎｐ ｒ ｌ ｓ ｓ ｓ ｔ ｙ ｐ ｉ ｅｔ ｅ ｈ ｒｎ ｉ ｌ ｎ ｔ ｏ ｆ ｅ ｔ ａ ｋ ｄ ｃ ｍｐ ｓｔ ｎ ａ ｅｐ ｔ ｏ ｗａ ． ｉ ｆ Ａｎ ｅｔｓ ｏ ｒ ｌｔｏ ｒｐ ｏ ｓｒ ｃｅ ａ ｅ ｎｄ ｃ ｍｐ ｓ ｄｓ ｂ ａ ｋ ． Ｂａ ｅ ｎ ｔ ｅ ａ ｋ ｃ ｒｅ ａｉ ｎ ｇ ａ ｈ ａ ｄ ｔ ｅ ａ ｅｏ ｒ ｓ ｕ ｃ ｓ ｄｔ ｋ ｃ ｒｅ ａｉ ｎｇ ａ ｈ ｉ ｃ ｎ ｔ ｔ ｄｂ ｓ ｄ ｏ ｅ ｏ ｏ ｅ ｔｓ ｓ ｈ ａ ｓ ｕ ｕ ｓ ｄｏ ｓ ｏ ｌ ｔ ｒ ｐ ｓ ｆ ｅ ｏ ｒ ｅ ｈ ｔ ｏ ｎ ｈ ｃ ｕ ｅ ， ｔ ｅｔ ｓ ｒ ｃ ｓ ｄ ｌ ａ ｅ ｎ Ｐ ｔ ｅ ｓａ ｌ ｈ ｄａ ｃ ｒ ｉ ｇ ｔ ｅａ ｇ ｒ ｈ ｏ ｔ ｓ ｒ ｃ ｓ ｄ １ Ｔｈ ｓ ｒ ｃ ｓ ｄ ｌ ｓ ｄ ｈ ｋｐ ｏ ｅ ｓｍｏ ｅ ｓ ｄ ｏ ｅｒ ｎ ｔ ｓ ｔｂ ｉ ｅ ｃ ｏ ｄ ｎ ｏｔ ｌ ｏ ｉ ｍ ｆ ａ ｋ ｐ ｏ ｅ ｓｍｏ ｅ ． ａ ｂ ｉ ｉｅ ｓ ｈ ｔ ｅｔ ｋ ｐ ｏ ｅ ｓ ａ ｍｏ ｅ ｄ ｓ ｒ ｅ ｈ ｅ ｕ ｎ ｉｌ ｎ ｏ ｃ ｒｅ ｔ ｒ ｃ ｓ ｆ ｅ ｔ ｒ ｃ ｓ ． Ｔ ｅ ｅｐ ａ ｌｌｓ ａ ｎ ｂ ｓ ｓｉ ｄ ｖ ｌ ｐ ｄｔ ｒ ｕ ｈ ｔ ｅｍｏ ｅ， ａ ｄ ｅ ｃ ｂ ｅｓ ｑ ｅ ｔ ｄｃ ｎ ｕ ｒ ｎ ｏ ｅ ｓｏ ｔ ｓ ｏ ｅ ｓ ｈ ｎｔ ａ ｌ ｉｍ ｍｏ ｇｓ ｔ ｋ ｅ ｅ ｏ ｅ ｏ ｇ ｄ ｌ ｎ ｉ ｔ ａａ ｐ ｐ ｈ ｒ ｅ ｕａ ｓ ｈ ｈ ｔ ｅｍｏ ｅ ｆｅ ｅｆ ｕ ｄ ｔ ｎ ｆ ｒ ｈ ａ ａｌ ｌ ｓ ｃ ｅ ｕ ｉ ｇ ｏ ｐ ａｌ ｌ ｅ ｔ ｙ ｔｍ ． ｈ ｄ ｌ ｆ ｒ ｏ ｎ ａ ｉ ｏ ｅｐ ｌ ｋ ｓ ｈ ｄ ｌ ｆ ａ ｌ ｓ ｓ ｏ ｈ ｔ ｏ ｔ ｒ ｅｔ ａ ｎ ｒ ｅｔ ｓ ｅ
基于Petri理论的虚拟企业过程建模研究
ＴＰ Ｐ Ｎ定义 为以下 ６要元 ：Ｐ Ｎ ｛ ， ，， Ｈ 。 Ｔ Ｐ ＝Ｐ Ｔ，０， Ｄｌ此处 ， ， Ｐ
，
，０定义 与基本 Ｐ ， Ｎ定义相 同； 为一列向量 ， ｍ： 其第 个元 素
被形式化的数学方法所支持 ，能表达离散事件 动态 系统 的静态
结构 和动态变化 。特别地 ， 对于具有复杂异步 、 并行 和同步关 系 的现代 制造 系统 ，可以运 用赋时 Ｐ ｔ 网、着色 Ｐ ｔ 网 、层 次 ｅｉ ｒ ｅｉ ｒ Ｐｔ 网等高级形 式 ， 便地对其 进行描述 ， ｅｉ ｒ 方 借助多种数 学方法
此处， Ｐ与 为库所与变迁 ，它的定义与基本 Ｐ Ｎ相 同； Ｃ 是与库所 和变 迁关联 的色彩集合 ； ，是从库所 Ｐ到 ｔ ‘ ） 的输入
（ ）＝ｐ 是库所 的有限集合 ，＞０为库所的个数 ； １Ｐ 一 ｑ ｎ （ ） ｆ， ｔ 变迁 的有 限集合 ， ２ Ｉ…， ｌ Ｊ是 ｍ＞Ｏ为 库所 的个 数 ；
图１ 基本 Ｐｔ 网 ｅｉ ｒ
型合作 ，盟员企业 向盟主提供的非实物产 品的合作坊式 ，如设 计、 监制监造等。 在一个虚拟企业 中， 可能是几种合作方式共存 。
ｌ 所是开始库所 ， ． 库 ６ 库所是结束库所（ 目前状态下） ． ， 变迁是就绪 的。 ２
★ 来稿 日 ：１ ６ ０ －７ ★ 期 ２ ０ － ｇ ０ 基金项 目： １ － 四川省科技厅攻关资助项 目（３ Ｇ ｌ＿ ０ ） ０Ｇ ｏｏ ｏ ３。四川省应用基础研 究计划资助项 目（ ４ Ｙ ２ － ０ — ） ０Ｇ ０ ９ ｏ ３ ３
基 于 Ｐｅｔ ｉ 论 的 虚 拟 企 业 过 程 建 模 研 究 ｒ理
尚 利 姚 进 （ 川大 学 制 造学 院 。成都 ６０ ６ ） 四 １０５
，
，０定义 与基本 Ｐ ， Ｎ定义相 同； 为一列向量 ， ｍ： 其第 个元 素
被形式化的数学方法所支持 ，能表达离散事件 动态 系统 的静态
结构 和动态变化 。特别地 ， 对于具有复杂异步 、 并行 和同步关 系 的现代 制造 系统 ，可以运 用赋时 Ｐ ｔ 网、着色 Ｐ ｔ 网 、层 次 ｅｉ ｒ ｅｉ ｒ Ｐｔ 网等高级形 式 ， 便地对其 进行描述 ， ｅｉ ｒ 方 借助多种数 学方法
此处， Ｐ与 为库所与变迁 ，它的定义与基本 Ｐ Ｎ相 同； Ｃ 是与库所 和变 迁关联 的色彩集合 ； ，是从库所 Ｐ到 ｔ ‘ ） 的输入
（ ）＝ｐ 是库所 的有限集合 ，＞０为库所的个数 ； １Ｐ 一 ｑ ｎ （ ） ｆ， ｔ 变迁 的有 限集合 ， ２ Ｉ…， ｌ Ｊ是 ｍ＞Ｏ为 库所 的个 数 ；
图１ 基本 Ｐｔ 网 ｅｉ ｒ
型合作 ，盟员企业 向盟主提供的非实物产 品的合作坊式 ，如设 计、 监制监造等。 在一个虚拟企业 中， 可能是几种合作方式共存 。
ｌ 所是开始库所 ， ． 库 ６ 库所是结束库所（ 目前状态下） ． ， 变迁是就绪 的。 ２
★ 来稿 日 ：１ ６ ０ －７ ★ 期 ２ ０ － ｇ ０ 基金项 目： １ － 四川省科技厅攻关资助项 目（３ Ｇ ｌ＿ ０ ） ０Ｇ ｏｏ ｏ ３。四川省应用基础研 究计划资助项 目（ ４ Ｙ ２ － ０ — ） ０Ｇ ０ ９ ｏ ３ ３
基 于 Ｐｅｔ ｉ 论 的 虚 拟 企 业 过 程 建 模 研 究 ｒ理
尚 利 姚 进 （ 川大 学 制 造学 院 。成都 ６０ ６ ） 四 １０５
基于Petri网的虚拟维修过程建模
ｍ ｏ ｅ ｉ ｇ ｍｅ ｈ ｄ ｂ ｓ ｄ ｏ ｔ ｔ ｔｉ ｎ ｔ ｄ ｌ ｔ ｏ ａ ｅ ｎ Ｓ ａ ｅ Ｐｅ ｒ ｅ ．Ｔｈ ａ ｅ ｎ ｌ ｚ ｄ ｔ ｅ ｃ ｎ ｔ ａ ｎ ｄ ｒ ｌｔｏ ｓ ｉ ｓ ｂ ｔ ｅ ｈ ｎ ｅ ｐ ｐ ｒ ａ ａ ｙ ｅ ｈ ｏ ｓｒ ｉ ｅ ｅ ａ ｉ ｎ ｈ ｐ ｅ ｗｅ ｎ ｔ ｅ ｍａ ｎ ｅ ａ ｃ ｉｔｎ ｎ ｅ ｐ ｏ ｅ ｓ ｓ ｎ ｏ ｓ ｒ ｃ ｅ ｈ ａ ｎ ｅ ａ ｃ ｒ ｃ ｓ ｏ ｃ ｌ ｍｏ ｅ ．Ｔｈ ｒ ｃ ｓ ｅ ，ａ ｄ ｃ ｎ ｔｕ ｔ ｄ ｔ ｅ ｍ ｉ ｔ ｎ ｎ ｅ ｐ ｏ ｅ ｓ ｌ ｇｉａ ｄ１ ｅ ｍｏ ｅ ｏ ｌ ｘ ｒ ｓ ｈ ａ ｎ ｅ ａ ｃ ｒ ｃ ｓ ； ｄ ｌ ｃ ｕ ｄ ｅ ｐ ｅ ｓ ｔ ｅ ｍ ｉ ｔ ｎ ｎ ｅ ｐ ｏ ｅ ｓ
该 方法解 决 了装 备 复 杂维修 过程 的建模 问题 ，可 为 实 际维修 提供 技 术 支持 。
关键 词 ： 维修 过程 ；过 程建 模 ；状 态机 Ｐ ｔｉ ｅｒ 网 中 图 分 类 号 ：Ｔ ３ １ ； ４ ．２ Ｐ ９ ． Ｎ９ ５１ 文 献 标 志 码 ： Ｂ ９
Ｐｒ ｃ ｓ — ｏｄ ｌｎ ｎ Ｖｉｔ ｌ ａ ｎ ｅ ａ ｃ ｓ ｄ ｏ ｔｉ ｅ ｏ ｅ ｓＭ ｅ ｉ ｇ ｉ ｒｕａ ｉ ｔ ｎ ｎ ｅＢａ ｅ ｎ Ｐｅｒ ｔ Ｍ Ｎ
Ａｂ ｔ ａ ｔ Ａｉ ｉ ｇ ａ ｈ ｏ ｓｒ ｃ ： ｍ ｎ ｔｔ ｅ ｃ ｍｐｌ ａ ｅ ｅ ａ ｉ ｎ ｈ ｐ ｎ ｔ ｅ ｍ ａ ｎ ｅ ａ ｃ ｒ ｃ ｓ ， ｒ ｐ ｓ ｄ ａ ｖ ｒｕ ｌｍａ ｎ ｅ ａ ｃ ｒ ｃ ｓ ｉ ｔ ｄ ｒ ｌｔｏ ｓ ｉ ｓ ｉ ｈ ｉ ｔ ｎ ｎ ｅ ｐ ｏ ｅ ｓ ｐ ｏ ｏ ｅ ｉｔ ａ ｉ ｔ ｎ ｎ ｅ ｐ ｏ ｅ ｓ ｃ
基于Petri网的工作流建模研究
摘 要 ： 绍 了 工 作 流 建 模 标 准 和 Ｐ ｔ 网 的 相 关 概 念 ， 出 了 Ｐ ｔ 网 中顺 序 、 行 、 择 、 环 ４种 基 本 结 构 ； 实 介 ｅｒ ｉ 给 ｅｉ ｒ 并 选 循 从 际 出发 ， 一 个 复 杂 的 企 业 生 产 经 营 管 理 的 业 务 流 程 进 行 层 次 化 建 模 ， 生 产 流 程 中 采 用 Ｐ ｔ 对 在 ｅ ｉ网 工 作 流 建 模 技 术 ｒ
第９ 第 １ 期 卷 ０
２ １年 １ ００ ０月
软 件 导 刊
Ｓｏ ｔ ｒ ｉｅ ｆｗａｅ Ｇｕｄ
ＶＯ１ ．Ｏ ． Ｎｏ １ ９
Ｏｃ． Ｏｌ ｔ２ ０
基 于 Ｐ ｔｉ ｅ ｒ 网的工作 流 建模 研 究
阮 灵 李 欣 ，
（． １武汉工业 学 院 计算机 与信 ． ｘ ｆ ， 北 武 汉 ４ ０ ２ ；． 汉工业 学院 图书馆 ， 北 武汉 ４ ０ ２ ） ６ ＿￣系 湖 － ３ ０ ３ ２武 湖 ３ ０ ３
全 防御体 系应注 意 ：通过 对信 息系统要 进行 安全等 级划 分 ， 确
定 不 同 安 全 域 并 进 行 科 学 管 理 ： 络 结 构 要 实 现 外 部 服 务 网 与 网 内 部 服 务 网 分 离 ： 不 同 的 网络 区 域 边 界 ， 过 边 界 保 卫 策 略 在 通
实施 多点 控制 ，使 网络划 分为 不 同级别 的保 护层次 和 区域 有把 Ｐ ｔ 网建 模技 术 ｅｒ ｉ
０ 引 言
工作 流是 针对 日常工作 中具 有 固定 程序 的活 动 而提 出 的
一
应 用 到 了 工 作 流 中来 ，丰 富 工 作 流 的 建 模 手 段 和 分 析 方 法 ， 在
第９ 第 １ 期 卷 ０
２ １年 １ ００ ０月
软 件 导 刊
Ｓｏ ｔ ｒ ｉｅ ｆｗａｅ Ｇｕｄ
ＶＯ１ ．Ｏ ． Ｎｏ １ ９
Ｏｃ． Ｏｌ ｔ２ ０
基 于 Ｐ ｔｉ ｅ ｒ 网的工作 流 建模 研 究
阮 灵 李 欣 ，
（． １武汉工业 学 院 计算机 与信 ． ｘ ｆ ， 北 武 汉 ４ ０ ２ ；． 汉工业 学院 图书馆 ， 北 武汉 ４ ０ ２ ） ６ ＿￣系 湖 － ３ ０ ３ ２武 湖 ３ ０ ３
全 防御体 系应注 意 ：通过 对信 息系统要 进行 安全等 级划 分 ， 确
定 不 同 安 全 域 并 进 行 科 学 管 理 ： 络 结 构 要 实 现 外 部 服 务 网 与 网 内 部 服 务 网 分 离 ： 不 同 的 网络 区 域 边 界 ， 过 边 界 保 卫 策 略 在 通
实施 多点 控制 ，使 网络划 分为 不 同级别 的保 护层次 和 区域 有把 Ｐ ｔ 网建 模技 术 ｅｒ ｉ
０ 引 言
工作 流是 针对 日常工作 中具 有 固定 程序 的活 动 而提 出 的
一
应 用 到 了 工 作 流 中来 ，丰 富 工 作 流 的 建 模 手 段 和 分 析 方 法 ， 在
基于Petri网的以活动为中心的软件过程建模方法
维普资讯
第２ ５卷第 １期
２０ ０ ８年 １月
计 算机 应 用与软 件
Ｃｏ ｍｐｕ ｅ ｐ ｉ ａｉｎｓａ ｄ Ｓ ｆｗａ ｅ ｔｒＡｐ ｌｃ ｔｏ ｎ ｏ ｔ ｒ
Ｖ０＇ ５ ｌ２ Ｎｏ ．１
Ｊｎ ２ ０ ａ ．０ ８
基 于 Ｐ ｔｉ ｅｒ 网的 以活 动 为 中心 的 软 件 过 程 建 模 方 法
软件过程是软件生存周 期 中所涉及 的一 系列 相关 过程 ， 过
程是活动的集合 ， 活动 是任 务的集合 ， 任务是把输入 转换 为输 出
的操作… 。在以活动为中心 的软 件过程模 型 中 ， 软件 过程 由过 程中的活动以及 活 动的 条件 在各个 活 动之 间 的流动 组成 。用 Ｐ ｔ 网建立软件过程 模 型时 ， ｅｒ ｉ 可用 活 动 的条件 作 为位 置结 点 ，
国 际 软件 过程 讨 论 会 ， 式 提 出 了 “ 件 过 程 ” 概 念 并 赋 予 明 正 软 的 确定 义 ，９５年 ５月 Ｇ ｌｅｓｎ和 Ｈ ｂｌ １９ ｏｄｎｏ ｒ ｅ ａ ｓ ｂ在 Ｓ Ｐ Ｅ Ｇ会 议 上 用 统
１ 以活动为 中心的过程控制模型 ＡＣ Ｍ Ｃ
１ １ 几个 相关 的概 念 ．
ｏ ｐｍｅ ｔｉ ｉｅ ｎ ｓｇｖ ｎ，ａ ｄ ｔ ａｉ ｔ ｆｔ ｉ ｎ ｈｅ ｖ ｌ ｙ ｏ ｈｓ ｍ￣ ｈ ｄ ｉ ｅ ｎｓｒ ｔｄ． ｄｉ ｏ ｓ ｄ ｍｏ ｔａ ｅ
Ｋｅ ｗｏ ｄ ｙ ｒｓ
Ｓ ｆ ａ ｒ ｃ ｓ Ｐ ｔ ｅ Ａｃｉ ｉ Ｍｏ ｅｉ ｇ ｏ ｗ ｒ ｐｏ ｅｓ ｔ ｅ ｅｒ ｎ ｔ ｉ ｔ ｔ ｖｙ ｄ ｌｎ
Ａｂｓｒ ｃ ｔａ ｔ Ｓｏ ｗａ ｅ ｐ ｏ ｅ ｓ ｉｃ ｕ ｅ ｅ ｅ ｆａ ｔ ｔｅ ｘ ｃ ｔｄ ｎ ｓ ｆ ｒ ｉｅ— ｃ ｃｅ． Ｍｏ ｌｏ ｏｔ ｒ ｅ ｐ ｏ ｅ ｓ ｎ ｔｏ ｌ ｒ ｖｄｅ ｈｅ ｔ ｆ ｒ ｒ ｃ ｓ ｎ ｌ ｄ ｓ ａ ｓ ｒ ｓ ｏ ｃｉ ｉ ｓｅ ｅ ｕｅ ｉ ｏｔ ｅ ｌ ｉ ｖｉ ｗａ ｆ ｙｌ ｄｅ ｆｓ ｆ ｗａ ｒ ｃ ｓ ｏ ｎ ｙ ｐ ｏ ｉ ｓｔ
第２ ５卷第 １期
２０ ０ ８年 １月
计 算机 应 用与软 件
Ｃｏ ｍｐｕ ｅ ｐ ｉ ａｉｎｓａ ｄ Ｓ ｆｗａ ｅ ｔｒＡｐ ｌｃ ｔｏ ｎ ｏ ｔ ｒ
Ｖ０＇ ５ ｌ２ Ｎｏ ．１
Ｊｎ ２ ０ ａ ．０ ８
基 于 Ｐ ｔｉ ｅｒ 网的 以活 动 为 中心 的 软 件 过 程 建 模 方 法
软件过程是软件生存周 期 中所涉及 的一 系列 相关 过程 ， 过
程是活动的集合 ， 活动 是任 务的集合 ， 任务是把输入 转换 为输 出
的操作… 。在以活动为中心 的软 件过程模 型 中 ， 软件 过程 由过 程中的活动以及 活 动的 条件 在各个 活 动之 间 的流动 组成 。用 Ｐ ｔ 网建立软件过程 模 型时 ， ｅｒ ｉ 可用 活 动 的条件 作 为位 置结 点 ，
国 际 软件 过程 讨 论 会 ， 式 提 出 了 “ 件 过 程 ” 概 念 并 赋 予 明 正 软 的 确定 义 ，９５年 ５月 Ｇ ｌｅｓｎ和 Ｈ ｂｌ １９ ｏｄｎｏ ｒ ｅ ａ ｓ ｂ在 Ｓ Ｐ Ｅ Ｇ会 议 上 用 统
１ 以活动为 中心的过程控制模型 ＡＣ Ｍ Ｃ
１ １ 几个 相关 的概 念 ．
ｏ ｐｍｅ ｔｉ ｉｅ ｎ ｓｇｖ ｎ，ａ ｄ ｔ ａｉ ｔ ｆｔ ｉ ｎ ｈｅ ｖ ｌ ｙ ｏ ｈｓ ｍ￣ ｈ ｄ ｉ ｅ ｎｓｒ ｔｄ． ｄｉ ｏ ｓ ｄ ｍｏ ｔａ ｅ
Ｋｅ ｗｏ ｄ ｙ ｒｓ
Ｓ ｆ ａ ｒ ｃ ｓ Ｐ ｔ ｅ Ａｃｉ ｉ Ｍｏ ｅｉ ｇ ｏ ｗ ｒ ｐｏ ｅｓ ｔ ｅ ｅｒ ｎ ｔ ｉ ｔ ｔ ｖｙ ｄ ｌｎ
Ａｂｓｒ ｃ ｔａ ｔ Ｓｏ ｗａ ｅ ｐ ｏ ｅ ｓ ｉｃ ｕ ｅ ｅ ｅ ｆａ ｔ ｔｅ ｘ ｃ ｔｄ ｎ ｓ ｆ ｒ ｉｅ— ｃ ｃｅ． Ｍｏ ｌｏ ｏｔ ｒ ｅ ｐ ｏ ｅ ｓ ｎ ｔｏ ｌ ｒ ｖｄｅ ｈｅ ｔ ｆ ｒ ｒ ｃ ｓ ｎ ｌ ｄ ｓ ａ ｓ ｒ ｓ ｏ ｃｉ ｉ ｓｅ ｅ ｕｅ ｉ ｏｔ ｅ ｌ ｉ ｖｉ ｗａ ｆ ｙｌ ｄｅ ｆｓ ｆ ｗａ ｒ ｃ ｓ ｏ ｎ ｙ ｐ ｏ ｉ ｓｔ
(2021年整理)基于Petri网的行为过程建模研究
基于Petri网的行为过程建模研究编辑整理：尊敬的读者朋友们：这里是精品文档编辑中心，本文档内容是由我和我的同事精心编辑整理后发布的，发布之前我们对文中内容进行仔细校对，但是难免会有疏漏的地方，但是任然希望（基于Petri网的行为过程建模研究）的内容能够给您的工作和学习带来便利。
同时也真诚的希望收到您的建议和反馈，这将是我们进步的源泉，前进的动力。
本文可编辑可修改，如果觉得对您有帮助请收藏以便随时查阅，最后祝您生活愉快业绩进步，以下为基于Petri网的行为过程建模研究的全部内容。
基于Petri网的行为过程建模研究摘要:产品设计在制造过程中一直是研究的重点，而产品设计中行为研究作为设计的关键阶段最能激发设计者的创造性思维。
本文在Petri网基础上，引入行为过程分析,提出了以Petri网为基础的行为过程建模，并以家用门铃为实例建立了Petri网模型，较好的描述了机械产品行为的动态过程,进而提出了对产品进行修改或优化的依据和方法。
关键词:制造过程；产品设计；Petri网；行为过程建模0 引言制造过程包括市场分析、产品设计、工艺规划、制造实施、检验出厂、产品销售、回收处理等各个环节。
制造过程建模,就是把制造过程通过模型表示，这样有利于过程的模式化。
设计过程建模在产品设计过程中占有很重要的位置，它是为设计智能化、系统化、科学化打基础。
目前，已有很多建模工具，如eM—Power，Pro—Model，Arena， TaylorⅡ等，利用这些工具可对已有的制造过程或设计的制造过程进行建模与仿真，国内外在过程建模方面已开展了很多研究,提出了很多建模方法，如面向对象方法、多智能体方法、Petri网、集成定义方法、自然信息分析方法（NaturalInformation Analysis Method，NIAM）、EXPRESS数据定义语言等。
本文中将主要利用Petri网进行建模。
1 产品设计与Petri网制造过程中的产品设计一直是人们研究的重点,设计就是根据客观需求，通过人们的创造性思维,经过判断、决策，并用各种设计模型使之定量化，将提供的资源转化为技术装置或系统以满足人类与社会的功能要求的过程。
基于时间约束Petri网的过程建模研究与工具实现的开题报告
基于时间约束Petri网的过程建模研究与工具实现的开题报告1. 研究背景和意义在工业生产和流程控制等领域中，过程建模是一种非常重要的工具和方法。
Petri网作为一种形式简洁、模型清晰、表达能力强的建模方法，被广泛应用于过程建模领域。
然而，在实际的过程中，很多过程都存在时间约束的要求，Petri网在没有考虑时间因素的情况下，可能会出现一些问题，因此，基于时间约束的Petri网的研究成为了一个热门研究领域。
基于时间约束的Petri网可以更准确地描述系统中的过程行为和时序性，对于需要考虑时间因素的复杂过程建模具有重要的意义。
同时，对于基于时间约束的Petri网的工具实现也是非常实用和必要的。
2. 研究内容和方法本研究的主要内容和方法如下：1) 研究基于时间约束的Petri网的建模方法，探究时间因素对Petri网建模的影响，并深入分析时间约束下Petri网的特点和应用场景；2) 探究基于时间约束的Petri网的模型检查和分析方法，分析时间约束下Petri网模型的可达性和可靠性等指标，并研究不同算法在时间约束下Petri网模型检查和分析方面的优缺点；3) 开发基于时间约束的Petri网的工具实现，提供便捷的模型编辑、模型分析、模型仿真等功能，并对工具的性能和稳定性进行评估和测试。
3. 研究进展和计划目前，已经完成了基于时间约束的Petri网的建模方法和模型分析方法的研究和初步设计，正在进行基于时间约束的Petri网的工具实现阶段。
计划在接下来的几个月内，完成工具的实现和性能测试，并进行实验验证和数据分析，进一步完善研究内容，取得更加丰硕的研究成果。
4. 结论本研究的主要目的是探究基于时间约束的Petri网的建模方法和模型分析方法，并通过工具实现提供便利的服务和支持。
该研究对于促进工业生产和流程控制等领域的发展和应用具有非常重要的意义，为相关领域的从业者和学者提供了有价值的研究成果和工具支持。
基于Petri网的钻井工程设计工作流建模技术研究
基 于 Ｐ ｔｉ 的钻 井 工 程 设 计 工 作 流 建 模 技 术 研 究 ｅ 网 ｒ
吴 雅 娟 ，壬 鑫 （ 东北石油大学计算机科学与信息技术学院， 黑龙江 大庆 １３ ３８ ６ １） 张 子 银 （ 大庆钻探工程公司钻井工程技术研究院信息中心， 龙江 大庆 １３１） 黑 ３ ６ ８
基 于 Ｐ ｔｉ ｅｒ 网的建 模分 析 方法 因其 严 格 的 数学 定 义 以及 提 供 系 统 分 析 和 验 证 方 法 ，对 于 具 有 不 确定 性 、 并发 性 和资 源共 享 的系 统来 说是 一种 重要 的分 析工 具 ］ 因此 ，把 工作 流 技 术结 合 进 油 田钻井 工 程 设 。 计 当 中 ，将 能够 对钻 井 工艺 的流 程进 行 有效 的控 制 和管 理 ，从 而满 足油 田企 业信 息 化 的需 要 。下 面 ，笔 者通 过 分析 钻井 工程 设计 流程 ，对基 于 Ｐ ｔｉ ｅｒ 网的钻井 工 程 的工 作流进 行 了建 模设 计 。
型 ，并 进 一 步 做 了 正 确 性 验 证 分 析 。 实例 证 明 ，该 技 术 在 钻 井 工 程 设 计 中具 有 可行 性 。
［ 键 词 ］ 钻 井 工 程设 计 ；Ｐ ｔｉ ； 工 作 流 网 关 ｅｒ 网 ［ 图分类号］Ｔ ３１ 中 Ｐ ９ ［ 文献 标 识 码 ］ Ａ ［ 章 编 号 ］ １ ７ —１ ０ （０ ０ ３一Ｎ ９ ０ 文 ６ ３ ４ ９ ２ １ ）０ ４ ３— ３
工 作流 的 提 出源于 办公 自动 化 的发 展 ，是 对计 算 机环境 下 具有 异步 并 发特 征 的业务 流程 的形 式化 描
述 ，其 目标 是在 需要 的时刻 把需 要 的信 息传 递 给需 要 的人 ，使 该项 业务 能 高效地 完 成口 。工 作流技 术 现 ］ 在被 广 泛地应 用 于企 业 的过 程建 模 ，有效 地 支持 企 业 业务 流 程再 造 。在众 多 传 统 的工作 流建 模 方 法 中 ，
基于Petri网软件过程执行机制的研究
摘
要： 在软件 过 程执行 机 制 中， 两种传 统 的过程执行 机 制—— 前摄 式和反 映 式存在模 型复 杂
｝和执 行灵 活性 之 间的矛盾 。分层机 制可 以缓解 这种 矛盾 ， 又缺 乏严 密 的形 式化 定 义 。 生 但 采用 基 于Ｐ ｔｉ网的软件 过程执 行机 制 的建模 和分 析 方法 ， 出 了准确 的形 式化 定 义 ， 好 地描 述 ｅｒ 给 很
ＬＩ Ｓ ｉｘ ＸＵ ｈ — ａ ＦＡＮＧ ａ — ｎ Ｕ ｈ — ｉ， Ｚ ｉｃ ｉ一， Ｘｉ ｎ ｗｅ
（ ． Ｄｅ ｔ ｏ ｍｐ ｔｒ Ｓ ｉ ｎ ｅ，Ｃｈ ｚ ｏ ｏ ｌｇ ，Ｃ ｚ ｏ ｈ ｉ ３ ０ ２ Ｃ ｉ ａ； ． ｈ ｉ １ ｐ． ｆ Ｃｏ ｕ ｅ ｃｅ ｃ ｕ ｈ ｕ ｃ ｌ ｅ ｈｕ ｈ ｕ Ａｎ ｕ ９ １ ， ｈ ｎ ２ Ａｎ ｕ ｉ ｅ ｓｔ ｆＳ ｉｎ ｅａ ｄ Ｔｅ ｈ ｅ ２ Ｕｎ ｖ ｒ ｉ ｏ ｃｅ ｃ ｎ ｃ — ｙ
ｍｅ ｈａ ｓ ｃ ｎｉｍ ，ａ ｅ ｒ ａ ｅ ｈｅ ｃ ｍ ｐ ｅ ｉｙ ｏ ｒ ａ ｔｖ “ ｐｒ ｃ ｓ ｄ ｌｎｇ ｎｄ ｄ ｃ ｅ ｓ ｓ ｔ ｏ ｌ ｘ ｔ ｆ“ ｅ ｃ ｉ ｅ ｏ ｅ ｓ ｍｏ ｅ ｉ ．
Ｋ ｅ ｒ ｓ：ａ ｅ ｅ ｃ ａ ｉｍ ；ｏｔ ｒ ｒ ｃ ｓ ； ｅ ｒ ｎ ｔ ｐ ｏ ｅ ｓｍｏ ｅｉｇ；ｏ ｍａｉｅ ｅ ｎｉｓ ｙ ｗｏ ｄ ｌｙ ｒ ｄｍｅ ｈ ｎｓ ｓ ｆｗａ ｅｐ ｏ ｅ ｓ Ｐ ｔｉ ｅ ；ｒ ｃ ｓ ｄ ｌ ｎ ｆ ｒ ｌ ｄｓ ｍａ ｔｃ ． ｚ
ａ ｔｖ ．Ｔｈ ｒ ｘ ｓ ｓ ｃ ｎ ｒ ｄ ｃ ｉｎ ｂ ｔ ｅ ｏ ｅ ｏ ｌ ｘ ｔ ｎ ｎ ｃ ｍ ｅ ｔｆ ｘ ｂ ｌｔ Ａ ｈ ｇｈ ｌ ｙｅ ｅ ｃｉｅ ｅ ｅｅ ｉｔ ｏ ｔ ａ ｉｔ ｅ ｗｅ ｎ ｍ ｄ ｌ ｍｐ ｅ ｉｙ ａ ｄ ｅ ａ ｔ ｎ ｌ ｉ ｉｙ． ｌ ｏｕ ａ ｒ ｄ ｏ ｃ ｅ ｔ
一种基于用例和Petri网的业务过程建模方法
１ 用例 及 其 形 式 化 定 义
用 例从终 端用 户 的观点 对系统 建 模 ，它在需 求 诱导 时被 创建 ．用 例是 代 表 系统 中各 个项 目相 关人 员 之 间就 系统 的行 为所达成 的契 约．根据 执 行 者 作 出 的请 求 和 请 求 涉 及 的 条 件 ，系 统 将 执 行 不 同 的行 为 序 列， 每一 行为 序列称 之 为一个 场 景．一个用 例是 多个 不 同场景 的集合 Ｊ 是 ， 编写 用例 过 程 中 ， 例 的 ．但 在 用 行 为序列 是 南多个 句子组 成 的．一些 编写 者用 这些语 句描 述 的是 简单 的执行 步 骤 ，而 另一 些 则描 述 的 是一 个 过程 中所需 执行 的活 动 ，这就 造成 了语 法形式 的不统 一 ， 得 所建 的用例 模 型变 得 混乱 不 清 ．我 们 的解 使 决办法 是规定 所有 的语句 都 采 用 同一 种 语 法 形式 ，即每 个 句 子 描述 的是 一 个 过 程 中所 需 执 行 的 一个 任 务 （ａ ｋ ．用 例 中的事件 流是 一个 过程 需要执 行 的任务 （ａｋ 的序 列． ｔｓ ） ｔｓ ） 另 一个 问题在 于对 用例 的描述 ，ＵＭＩ规 范 没 有规 定 采 用何 种 方 式来 描 述 用 例．不 同 的使 用 者 描述 用 例的方 式各不 相 同 ，易导 致不 一致 性 、二 义性 等问题 ．对 用例 描述 进行 形式 化 是一种 解 决 办法 ．目前 已
例 是文本 形式 的 ，缺乏 对具 有并 行 、并 发等特 征 的行 为的表示 能 力．Ｐ ｔｉ ｅｒ 网能通 过 图形 方 式对 这 些 行 为进 行 建模 ， 而且 由于它具 有坚 实 的数学 基础 ，是完 全形式 化 的 ，所 以可以很 方便 地 实现模 型 的仿 真 和检验 ． 本 文在 给出用 例及其 相关 概念 的形式 化 定 义 的基 础 上 ， 建 了从用 例 到 Ｐ ｔｉ 构 ｅｒ 网模 型 的映 射算 法 ，提 出了一种 基 于用例 和 Ｐ ｔｉ ｅｒ 网的业务 过 程建模 方法 ．以用例 来 捕获 需 求 ，用 Ｐ ｔｉ 来 图形 化用 例 ， 通 过 ｅｒ 网 并 引入工作 流 中任务 （ａ ｋ 这一 概念 来统 一 了用例 描述 的语法 形式 ． ｔｓ ）
煤矿开采的全生命周期分析
适用条件
地下开采适用于埋藏较深 的矿体，以及地形、气候 条件较为恶劣的地区。
开采技术与方法
开采技术
露天开采和地下开采所采用的技术手段不同，包括穿孔、爆破、铲装、运输等 。
开采方法
根据矿体赋存条件和采矿要求，选择合适的开采方法，如分段法、房柱法、全 面法等。
Part
04
煤矿开采后的处理
矿渣处理
矿渣分类
矿权获取流程
提交申请、审查资质、评估资源价值、签订合同 等。
3
矿权获取注意事项
遵守法律法规、确保矿权合法有效、了解矿权限 制等。
Part
03
煤矿开采过程
露天开采
STEP 02
露天开采特点
STEP 01
露天开采定义
露天开采是指将地表土层 剥离，将矿石采出后，再 将剥离的岩土运至排土场 排弃。
STEP 03
土地破坏
01
煤矿开采会对地表和地下环境造成破坏，导致土地塌陷、裂缝
等。
水资源污染
02
矿井排水可能对地下水造成污染，影响当地居民的饮用水安全
。
大气污染
03
煤炭开采和运输过程中产生的粉尘和废气可能对大气造成污染
。
对安全的影响
矿难风险
煤矿开采过程中存在矿难风险，如瓦斯爆炸、矿井塌陷等。
职业病
矿工长期接触粉尘、噪音等有害因素，易患职业病。
过度依赖煤炭资源可能导致产业 结构单一，降低经济抗风险能力 。
Part
06
煤矿开采的社会影响
对社区的影响
社区搬迁
煤矿开采往往需要占用大量土地，导致当地居民需要搬迁。
就业机会
煤矿开采为当地居民提供就业机会，但工作性质较为艰苦。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
中图分类 号 ：Ｔ Ｄ ２ ６ 文 献标识 码 ：Ａ 文章 编号 ：１ ６ ７ １ — ０ ９ ５ ９ （ ２ ０ １ ５ ） ０ ７ － ０ ｅ Ｌｉ ｆ ｅ Ｃｙ ｃ ｌ ｅ Ｐｒ ｏ ｃ ｅ ｓ ｓ Ｍｏ ｄｅ ｌ ｉ ｎ ｇ ｏ ｆ Ｕｎ ｄｅ ｒ ｇ ｒ ｏ ｕｎ ｄ Ｃｏ ａ ｌ Ｍｉ ｎｅ
Ａ ｂ ｓ ｔ ｒ ａ ｃ ｔ ：Ａ ｉ ｍ ｉ ｎ ｇ ａ ｔ ｔ ｈ ｅ ｕ ｎ ｃ ｌ ｅ ａ ｒ ｍａ ｎ ａ ｇ ｅ ｍｅ ｎ ｔ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｓ ｔ ａ ｔ ｕ ｓ ｏ ｆ ｕ ｎ ｄ ｅ ｒ ｇ ｒ ｏ ｕ ｎ ｄ ｃ ｏ ａ ｌ ｍｉ ｎ ｅ ｐ ｒ ｏ ｊ ｅ ｃ ｔ ，ａ ｎ ｄ ａ ｃ ｃ ｏ ｒ ｄ ｉ ｎ ｇ ｔ ｏ ｔ ｈ ｅ
ｍｏ ｄ ｅ ｌ ｉ ｎ ｇ ｆ ｏ ｒ ｔ ｈ ｅ ｗ ｈ ｏ ｌ ｅ ｌ ｉ ｆ ｅ ｃ ｙ ｃ ｌ ｅ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ，ｉ ｎ ｃ ｌ ｕ ｄ ｉ ｎ ｇ ｄ ｅ ｓ ｉ ｇ ｎ ａ ｎ ｄ ｐ ｌ ａ ｎ ｎ ｉ ｎ ｇ ｐ ｅ ｉ ｒ ｏ ｄ， ｃ ｏ ｎ ｓ ｔ ｒ ｕ ｃ ｔ ｉ ｏ ｎ ａ ｎ ｄ ｃ ｏ ｎ ｔ ｒ ｏ ｌ ｐ ｅ ｉ ｒ ｏ ｄ ，
张 志 强 ，安 景 文
（ 中国矿业大学 （ 北京 ）管理学院 ，北京 １ ０ ０ ０ ８ ３ ）
摘
要 ：针 对 煤矿 井下 工程 管理过 程 不 清 的状 况 ，依据 Ｐ ｅ ｔ ｒ ｉ网和 项 目生命 周期 的 理论 和 方
法 ，创造 性地 对煤矿 井 下工程 管理 全 生命 周期 进 行 过程 识 别 与 Ｐ ｅ ｔ ｒ ｉ网建 模 。首 先 ，构 建 了煤 矿
煤
第４ ７卷 第７ 期
ｄ ｏ ｉ ：１ ０．１ １ ７ ９ ９ ／ｃ ｅ ２ ０１ ５０ ７ ０ ４ ６
炭
工
程
Ｖｏ １ ． ４ ７， Ｎｏ ． ７
Ｃ ＯＡＬ Ｅ ＮＧＩ Ｎ ＥＥ ＲＩ ＮＧ
基于 Ｐ ｅ ｔ ｒ ｉ 网的煤 矿 井 下 工 程全 生命 周 期 过 程 建 模 研 究
Ｐ ｒ ｏ ｊ ｅ ｃ ｔ Ｂａ ｓ ｅ ｄ ｏ ｎ Ｐ ｅ ｔ ｒ ｉ Ｎｅ ｔ
Ｚ ＨＡＮＧ Ｚ ｈ ｉ —ｑ ｉ ａ ｎ ｇ ，Ａ Ｎ Ｊ ｉ ｎ ｇ—ｗｅ ｎ
（ Ｓ ｃ ｈ ｏ ｏ ｌ ｏ ｆ Ｍａ ｎ ａ ｇ ｅ ｍ ｅ ｎ ｔ ，Ｃ ｈ ｉ ｎ ａ Ｕｎ ｉ ｖ ｅ ｒ ｓ ｉ ｔ ｙ ｏ ｆ Ｍｉ ｎ ｉ ｎ ｇ ａ ｎ ｄ Ｔ ｅ ｃ ｈ ｎ ｏ ｌ ｏ ｇ ｙ（ Ｂ ｅ ｉ ｊ ｉ ｎ ｇ ） ，Ｂ ｅ ｉ ｊ ｉ ｎ ｇ １ ０ ０ ０ ８ ３ ）
ｅ ｖ ａ ｌ ｕ ａ ｔ ｉ ｏ ｎ ａ ｎ ｄ ｓ ｅ ｔ ｔ ｌ ｅ ｍｅ ｎ ｔ ｐ ｅ ｉ ｒ ｏ ｄ ．Ｔ ｈ ｉ ｓ ｓ ｔ ｕ ｄ ｙ ｓ ｕ ｐ ｐ ｌ ｉ ｅ ｓ ｔ ｈ ｅ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｍｏ ｄ ｅ ｌ￣ｕ ｎ ｄ ｔｉ ａ ｏ ｎ ｆ ｏ ｒ ｔ ｈ ｅ ｄ ｅ ｖ ｅ ｌ ｏ ｐ ｍｅ ｎ ｔ ｏ ｆ ｕ ｎ ｄ ｅ ｒ ｒｏ ｇ ｕ ｎ ｄ ｃ ｏ ａ ｌ
井下工程 全 生命 周 期过程 体 系；然后 ，根 据 全 生命 周 期 的各 个过 程 以及 子 过 程组 成 的 逻辑 关 系 ，
选用 Ｖ ｉ ｓ ｕ ａ ｌ Ｏ ｂ ｊ ｅ ｃ ｔ Ｎ ｅ ｔ ～ 软 件对 煤矿 井 下工程 的全 生命周 期 、设计 与计 划阶段 、施 工与控 制 阶段 、
ｐ ｉ ｒ ｎ ｃ ｉ ￣ｅ ａ ｎ ｄ ｍ ｅ ｔ ｈ ｏ ｄ ｏ ｆ Ｐ ｅ ｔ ｒ ｉ ｎ ｅ ｔ ａ ｎ ｄ ｐ ｒ ｏ ｊ ｅ ｃ ｔ ｌ ｉ ｆ ｅ ｃ ｙ ｃ ｌ ｅ ，ｔ ｈ ｅ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｅ ｓ ｏ ｆ ｔ ｈ ｅ ｗ ｈ ｄ ｅ ｌ ｉ ｆ ｅ ｃ ｙ ｃ ｌ ｅ ｏ ｆ ｕ ｎ ｄ ｅ ｒ ｒｏ ｇ ｕ ｎ ｄ ｃ ｏ ａ ｌ ｍｉ ｎ ｅ
考核 与 结算 阶段 进 行 Ｐ ｅ ｔ ｒ ｉ 网过程 建模 。为基 于 工作 流 的煤 矿 井 下 工程 信 息 管理 系统的 开 发提 供 了过 程模 型基础 ，对 实现 煤矿 井 下工程 管理过 程 的协 同管理 和信 息化 管理具 有基 础作 用。
关键 词 ：煤矿 井 下工程 ；全 生命周 期 ；Ｐ ｅ ｔ ｒ ｉ 网；过 程 建模
ｐ ｒ ｏ ｊ ｅ ｃ ｔ ｗ ｅ ｒ ｅ ｉ ｄ ｅ ｎ ｔ ｉ ｉ ｆ ｅ ｄ ｎｄ ａ ｍ ｏ ｄ ｅ ｌ ｅ ｄ ．Ｔ ｈ ｅ ｗ ｈ ｏ ｌ ｅ ｌ ｉ ｆ ｅ ｃ ｙ ｃ ｌ ｅ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｓ ｙ ｓ ｔ ｅ ｍ ｏ ｆ ｕ ｎ ｄ ｅ ｒ ｇ ｒ ｏ ｕ ｎ ｄ ｃ ｏ ａ ｌ ｍ ｉ ｎ ｅ ｐ ｒ ｏ ｊ ｅ ｃ ｔ ｗ ａ ｓ ｅ ｓ ｔ ａ ｂ ｌ ｉ ｓ ｈ ｅ ｄ ； ｂ ａ ｓ ｅ ｄ ｏ ｎ ｔ ｈ ｅ ｌ ｏ ｇ ｉ ｃ ａ ｌ ｒ ｅ ｌ ａ ｔ ｉ ｏ ｎ ｓ ｈ ｉ ｐ ｂ ｅ ｔ ｗ ｅ ｅ ｎ ｅ ａ ｃ ｈ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ，ｔ ｈ ｅ Ｖ ｉ ｓ ｕ ａ ｌ Ｏ ｂ ｊ ｅ ｃ ｔ Ｎ ｅ ｔ ｓ ｏ ｆ ｔ ｗ ａ ｒ ｅ ｗ ａ ｓ ａ ｐ ｐ ｌ ｉ ｅ ｄ ｔ ｏ ｃ ｏ ｎ ｄ ｕ ｃ ｔ ｐ ｒ ｏ ｃ ｅ ｓ ｓ
Ａ ｂ ｓ ｔ ｒ ａ ｃ ｔ ：Ａ ｉ ｍ ｉ ｎ ｇ ａ ｔ ｔ ｈ ｅ ｕ ｎ ｃ ｌ ｅ ａ ｒ ｍａ ｎ ａ ｇ ｅ ｍｅ ｎ ｔ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｓ ｔ ａ ｔ ｕ ｓ ｏ ｆ ｕ ｎ ｄ ｅ ｒ ｇ ｒ ｏ ｕ ｎ ｄ ｃ ｏ ａ ｌ ｍｉ ｎ ｅ ｐ ｒ ｏ ｊ ｅ ｃ ｔ ，ａ ｎ ｄ ａ ｃ ｃ ｏ ｒ ｄ ｉ ｎ ｇ ｔ ｏ ｔ ｈ ｅ
ｍｏ ｄ ｅ ｌ ｉ ｎ ｇ ｆ ｏ ｒ ｔ ｈ ｅ ｗ ｈ ｏ ｌ ｅ ｌ ｉ ｆ ｅ ｃ ｙ ｃ ｌ ｅ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ，ｉ ｎ ｃ ｌ ｕ ｄ ｉ ｎ ｇ ｄ ｅ ｓ ｉ ｇ ｎ ａ ｎ ｄ ｐ ｌ ａ ｎ ｎ ｉ ｎ ｇ ｐ ｅ ｉ ｒ ｏ ｄ， ｃ ｏ ｎ ｓ ｔ ｒ ｕ ｃ ｔ ｉ ｏ ｎ ａ ｎ ｄ ｃ ｏ ｎ ｔ ｒ ｏ ｌ ｐ ｅ ｉ ｒ ｏ ｄ ，
张 志 强 ，安 景 文
（ 中国矿业大学 （ 北京 ）管理学院 ，北京 １ ０ ０ ０ ８ ３ ）
摘
要 ：针 对 煤矿 井下 工程 管理过 程 不 清 的状 况 ，依据 Ｐ ｅ ｔ ｒ ｉ网和 项 目生命 周期 的 理论 和 方
法 ，创造 性地 对煤矿 井 下工程 管理 全 生命 周期 进 行 过程 识 别 与 Ｐ ｅ ｔ ｒ ｉ网建 模 。首 先 ，构 建 了煤 矿
煤
第４ ７卷 第７ 期
ｄ ｏ ｉ ：１ ０．１ １ ７ ９ ９ ／ｃ ｅ ２ ０１ ５０ ７ ０ ４ ６
炭
工
程
Ｖｏ １ ． ４ ７， Ｎｏ ． ７
Ｃ ＯＡＬ Ｅ ＮＧＩ Ｎ ＥＥ ＲＩ ＮＧ
基于 Ｐ ｅ ｔ ｒ ｉ 网的煤 矿 井 下 工 程全 生命 周 期 过 程 建 模 研 究
Ｐ ｒ ｏ ｊ ｅ ｃ ｔ Ｂａ ｓ ｅ ｄ ｏ ｎ Ｐ ｅ ｔ ｒ ｉ Ｎｅ ｔ
Ｚ ＨＡＮＧ Ｚ ｈ ｉ —ｑ ｉ ａ ｎ ｇ ，Ａ Ｎ Ｊ ｉ ｎ ｇ—ｗｅ ｎ
（ Ｓ ｃ ｈ ｏ ｏ ｌ ｏ ｆ Ｍａ ｎ ａ ｇ ｅ ｍ ｅ ｎ ｔ ，Ｃ ｈ ｉ ｎ ａ Ｕｎ ｉ ｖ ｅ ｒ ｓ ｉ ｔ ｙ ｏ ｆ Ｍｉ ｎ ｉ ｎ ｇ ａ ｎ ｄ Ｔ ｅ ｃ ｈ ｎ ｏ ｌ ｏ ｇ ｙ（ Ｂ ｅ ｉ ｊ ｉ ｎ ｇ ） ，Ｂ ｅ ｉ ｊ ｉ ｎ ｇ １ ０ ０ ０ ８ ３ ）
ｅ ｖ ａ ｌ ｕ ａ ｔ ｉ ｏ ｎ ａ ｎ ｄ ｓ ｅ ｔ ｔ ｌ ｅ ｍｅ ｎ ｔ ｐ ｅ ｉ ｒ ｏ ｄ ．Ｔ ｈ ｉ ｓ ｓ ｔ ｕ ｄ ｙ ｓ ｕ ｐ ｐ ｌ ｉ ｅ ｓ ｔ ｈ ｅ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｍｏ ｄ ｅ ｌ￣ｕ ｎ ｄ ｔｉ ａ ｏ ｎ ｆ ｏ ｒ ｔ ｈ ｅ ｄ ｅ ｖ ｅ ｌ ｏ ｐ ｍｅ ｎ ｔ ｏ ｆ ｕ ｎ ｄ ｅ ｒ ｒｏ ｇ ｕ ｎ ｄ ｃ ｏ ａ ｌ
井下工程 全 生命 周 期过程 体 系；然后 ，根 据 全 生命 周 期 的各 个过 程 以及 子 过 程组 成 的 逻辑 关 系 ，
选用 Ｖ ｉ ｓ ｕ ａ ｌ Ｏ ｂ ｊ ｅ ｃ ｔ Ｎ ｅ ｔ ～ 软 件对 煤矿 井 下工程 的全 生命周 期 、设计 与计 划阶段 、施 工与控 制 阶段 、
ｐ ｉ ｒ ｎ ｃ ｉ ￣ｅ ａ ｎ ｄ ｍ ｅ ｔ ｈ ｏ ｄ ｏ ｆ Ｐ ｅ ｔ ｒ ｉ ｎ ｅ ｔ ａ ｎ ｄ ｐ ｒ ｏ ｊ ｅ ｃ ｔ ｌ ｉ ｆ ｅ ｃ ｙ ｃ ｌ ｅ ，ｔ ｈ ｅ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｅ ｓ ｏ ｆ ｔ ｈ ｅ ｗ ｈ ｄ ｅ ｌ ｉ ｆ ｅ ｃ ｙ ｃ ｌ ｅ ｏ ｆ ｕ ｎ ｄ ｅ ｒ ｒｏ ｇ ｕ ｎ ｄ ｃ ｏ ａ ｌ ｍｉ ｎ ｅ
考核 与 结算 阶段 进 行 Ｐ ｅ ｔ ｒ ｉ 网过程 建模 。为基 于 工作 流 的煤 矿 井 下 工程 信 息 管理 系统的 开 发提 供 了过 程模 型基础 ，对 实现 煤矿 井 下工程 管理过 程 的协 同管理 和信 息化 管理具 有基 础作 用。
关键 词 ：煤矿 井 下工程 ；全 生命周 期 ；Ｐ ｅ ｔ ｒ ｉ 网；过 程 建模
ｐ ｒ ｏ ｊ ｅ ｃ ｔ ｗ ｅ ｒ ｅ ｉ ｄ ｅ ｎ ｔ ｉ ｉ ｆ ｅ ｄ ｎｄ ａ ｍ ｏ ｄ ｅ ｌ ｅ ｄ ．Ｔ ｈ ｅ ｗ ｈ ｏ ｌ ｅ ｌ ｉ ｆ ｅ ｃ ｙ ｃ ｌ ｅ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ｓ ｙ ｓ ｔ ｅ ｍ ｏ ｆ ｕ ｎ ｄ ｅ ｒ ｇ ｒ ｏ ｕ ｎ ｄ ｃ ｏ ａ ｌ ｍ ｉ ｎ ｅ ｐ ｒ ｏ ｊ ｅ ｃ ｔ ｗ ａ ｓ ｅ ｓ ｔ ａ ｂ ｌ ｉ ｓ ｈ ｅ ｄ ； ｂ ａ ｓ ｅ ｄ ｏ ｎ ｔ ｈ ｅ ｌ ｏ ｇ ｉ ｃ ａ ｌ ｒ ｅ ｌ ａ ｔ ｉ ｏ ｎ ｓ ｈ ｉ ｐ ｂ ｅ ｔ ｗ ｅ ｅ ｎ ｅ ａ ｃ ｈ ｐ ｒ ｏ ｃ ｅ ｓ ｓ ，ｔ ｈ ｅ Ｖ ｉ ｓ ｕ ａ ｌ Ｏ ｂ ｊ ｅ ｃ ｔ Ｎ ｅ ｔ ｓ ｏ ｆ ｔ ｗ ａ ｒ ｅ ｗ ａ ｓ ａ ｐ ｐ ｌ ｉ ｅ ｄ ｔ ｏ ｃ ｏ ｎ ｄ ｕ ｃ ｔ ｐ ｒ ｏ ｃ ｅ ｓ ｓ