当前位置：文档之家 › 基于扩展时间对象Petri网的粗糙网络攻击模型

基于扩展时间对象Petri网的粗糙网络攻击模型

  • 格式：pdf
  • 大小：619.25 KB
  • 文档页数：7
ｃａ ｓ ｅ ｏ ｆｒ ｔ ｅ ｃ ａｓ ｓ ａ ｅ ｏ ｅ ｄ ｍａｎ Ｐ ｔ ｅ ｓ Ｂ ｅ ｎ ｎ ｉ ｌ ｅ ｒｅ ｏ ａｈ ｌ ｃ ａａ ｔｒｓ ｃ ａｔｃ ａ ｈ ｌ ｓｉ ｄ ｔ ｍ ｈ ｌｓ ｐ ｃ ｆｔ ｏ ｉ ｅｒ ｎ ｔ． ｙ ｄ ｆ ｉｇ ｓ ｉ ｆ ｏ ｈ ｉ ｉ ｍｉ ｄ ｇ ｅ ｆｐ ｔ ，ａｌ ｈ ｒ ｃｅ ｔ ｔ ｋ ｐ ｔ ｓ ｒ ａ ｉ ｉ ａ ｗｈｃ ｏ ｌ ｒｉｅ ａ ｎ ａｔｃ ｏ ｌ ｃ ｕ ｄ ｂ ｅ ｒｈ ｄ ｏ ｔｂ ｈ ｎ ｇ ｒ ｈ ｉｈ ｃ ｕ ｄ ａｒ ｔａ ｔ ｋ ｇ ａ ｏ ｌ ｅ ｓ ａ ｃ ｅ ｕ ｙ ｔｅ ａ ｔａ ｏｉ ｍ，ａ ｄ ｔｅ ｍａ ｉ ｌｔ ｒ ａ ａｈ ｗ ｉｈ ｃ ｕ ｄ ｖ ａ ｌ ｔ ｎ ｈ ｘｍａ ｈ ｅ ｔｐ ｔ ， ｈ ｃ ｏ ｌ ａ ｃ ｓ ｈ ｏ ｌｎ ｄ ， ｃ ｕ ｄ ｂ ｕ ｄ ｏ ｔｆｏ ａｌｔ ｅ ｅ ｃ ａ ａ ｔ ｒ ｔ ｔ ｃ ａｈ ． Ｔ ｅ ｅ ｐ ｒ ｎ ａ ｅ ｕ ｔ ｓ ｏ ｈ ｔ ｔ ｅ ｃ ｅ ｓｔ ｅ ｇ ａ ｏ ｅ ｏ ｌ ｅ ｆ ｎ ｕ ｒ ｍ ｌ ｈ ｓ ｈ ｃｅ ｓｉ ａｔ ｋ ｐ ｔ ｓ ｏ ｒ ｉ ｃ ａ ｈ ｘ ｅｉ ｍｅ ｔｌｒ ｓ ｌ ｈ ｗ ｔ ａ ｈ ｓ
ｏ ｏ ｌｘ ｎ ｔ ｏ ｋ ｏ ｇ ｅｗ ｒ ｔ ｃ ｄ ｌ ａ ｅ ｎ ｔ ｅｖ ｌｅ ａ ｉ ｔ ｅ ａｉｎ ｍｏ ｅ ａ ｕ ｏ ｗ ｒ ．Ｔ ｅ ａｔ ｂ ｔ ｓ ｔ ｆｃ ｍｐｅ ｅｗ ｒ ，ａｒ ｕ ｈ ｎ ｔ ｏ ｋ ａ ｔ ｋ ｍｏ ｅ ｓ ｄ ｏ ｕ ｎ ｒ ｂ ｌ ｙ ｒｌ ｔ ｄ ｌ ｓｐ ｔ ｒ ａ ｄ ｈ ｔ ｕ ｅ ｅ ａ ｂ ｈ ｉ ｏ ｗ ｆ ｉ ｒ
ｄｉ１ ．７４ Ｓ ．．０ ７２ １．２ ４ ｏ：０３ ２／ Ｐ Ｊ １８ ．０ １０ １６
基 于 扩 展 时 间 对 象 Ｐ ｔ 网 的 粗 糙 网 络 攻 击 模 型 ｅｉ ｒ
黄 光球 ， 纯子 ， 王 张
（ ｕｎｎ ｎ３ ｓｈ ．ｏ ｈ ａｇａ９ ＠ ｏｕ ｃｎ）
斌
（ 西安建筑科技大学 管理学 院， 西安 ７ ０ ５ １０５）
（ ｃｏｌｆＭａａ ｅ ｅｔ ｉｎＵ ｉ ｒｔ ｏ ｒｈｔ ｔｒ ａｄＴｃｎｌ ｙ ｉ ｎＳａ ｎｉ １０ ５ ｈｎ） Ｓｈｏ ｏ ｎ ｇｍ ｎ，Ｘ＇ ｎｖ ｓｙ ｆＡｃｉｃ ｅ ｎ ｅｈ ｏ ｇ ，Ｘ ＇ ｈ ａ ｘ ７０ ５ ，Ｃ ｉａ ａ ｅ ｉ ｅｕ ｏ ａ
Ａ ｓ ａｔ Ｔ ｌｅ ｈ ｄ ｎａ ｃ ｒ ｌ ａｓｄｂ ｍ ｌ ｔ ｋｍ ｔｏｓ ｎ ｉ ｌ ｏｅｏｊ ｔ ｉ ａ ｔ ｃ ｏｅ ｂｔ ｃ： ｏｓ ｖ ｅ ｅ ｕｄｎｙｐｏ ｅ ｃｕｅ ｙｓ ｉ ｒ ｔ ｃ ｅ ｄ ｄｓ ａ ｎｄ ｂｅ ｓｎ ｎａ ａｋｍ ｄｌ ｒ ｏ ｔ ｒ ｂｍ ｉ ａ ａａ ｈ ａ ｍｉｒ ｃ ｔ
特征路径 中找 出给 目标 节点 带来最大威胁的攻击路径 。实验证明 ， 该方法能 够快速 地定位 实时监控 信息 中涉及 的节
点 对 象和 攻 击 方 式 ， 各 种 特征 攻 击路 径 中 准确 找 到 其 所 在 位 置 。 在 关键词 ： 网络 安 全 ； 击模 型 ； 攻 粗糙 集 ；ｅｉ Ｐｔ 网 ｒ 中 图分 类 号 ： Ｐ ９ ．８ Ｔ ３ ３ｎｄ ｏ ｉ ｎ ｅｔ ｎｉｏ ｏ ｉ ｉ ａＰ ｔ ｅ ｉｉ ｔｃ ｔｏｓａｄｓ ｉｒ ｏｅ ｂ ｃ ｅｅ ａ ｅ ｎｄｏ ｏ ｅ ｍａ ａｄｔ ａｓ ｉ ｄｍａ ｅ ｉ ｔ ｍ ｌ ａ ａｋｍｅ ｄ ｍｌ ｄ ｊ ｔｗ ｒ ｔ ｈ ｄ ｎ ｈ ｒ ｔｎ ｎｎ ｒｎ ，ｓ ａ ｔ ｒ ｈ ｎ ｉ ａｎ ｏ ｅ ｓ
Ｒｏ ｇ ｔ ｃ ｄ ｌ ａｅ ｎｏ ｊｃ ｅｒ ｎ ｔｏ ｘ ａ ｄ ｄ ｔ ｕ ｈａｔ ｋｍｏ ｅ ｓｄｏ ｂｅｔ ｔｉ ｅ ｆ ｐ ｎ ｅ ｉ ａ ｂ Ｐ ｅ ｍｅ
ＨＵＡＮＧ ａ ｇ ｑ ｕ Ｗ ＡＮＧ ｕ — ｉ Ｇｕ ｎ — ｉ ． Ｃｈ ｎ ｚ．ＺＨＡＮＧ ｎ Ｂｉ
摘
要： 为了解决复杂 网络 中相似 攻击手段 和相似 节点对 象在 攻击模 型 中造成 冗余 的 问题 ， 出一种基 于脆 弱 提
关联 模 型 的粗 糙 网络 攻 击建 模 方 法 。 在 攻 击 变迁 域 和 节 点 对 象域 上 定 义属 性 集 ， 相 似 的 攻 击 方 式 和 网络 节 点 分 将 类 ， 成 论 域 Ｐ ｔ 网上 的 类 空 间 。通 过 定 义路 径 相 似 度 ， 用蚁 群 算 法 找 出所 有 可 达 攻 击 目标 的特 征 路 径 ， 在 这 些 形 ｅｉ ｒ 利 并
第３ １卷第 ８期
２１ ０ １年 ８月
计 算机 应 用
Ｊ ｕ ｎ ｌｏ ｏ ｕ ｅ ｐ ｉａｉ ｎ ｏ ｒ ａ ｆＣ ｍｐ ｔｒＡｐ ｌ ｔ ｓ ｃ ｏ
Ｖ０ ． １ Ｎｏ ８ Ｊ３ ．
Ａｕ ． ０１１ ｇ２
文 章 编 号 ： ０ ９ ８ （０ １０ ０ １６— ６ １ １— ０ １ ２ １ ）８— ２ ４ ０ ０
ｐｏ ｏｅ ｏ ｅ ｃ ｎｑ ｉｋ ｃ ｔ ｔｅｎ ｄ ｂｅ ｔ ａ ｄ ｔｅｒｌ ｅ ｔ ｃ ｅ ｏ ｓｆ ｍ ｏ ・ｍｅｍｏ ｉ ｒ ｇ ｉ ｏｍ ｔ ｎ ａ ｄ ｒｐ ｓｄ ｍ ｄ ｌ ａ ｕ ｌ ｌ ａ ｈ ｏ ｅｏ ｊｃ ｎ ｈ ｅａ ｄ ａ ａ ｋ ｍ ｔ ｄ ｒ ｎ ｔ ｎｔ ｉ ｆｒ ａ ｏ ｎ ｃ ｙｏ ｅ ｓ ｔ ｔ ｈ ｏ ｉ ｏｎ ｎ ｉ

合集下载

基于扩展Petri网的汽车CPS建模

基于扩展Petri网的汽车CPS建模

基于扩展Petri网的汽车CPS建模
陈浩铎;张立臣
【期刊名称】《现代计算机》
【年(卷),期】2022(28)11
【摘要】信息物理融合系统是将物理世界与信息系统混合的混合系统,包括了设备感知、网络通信、计算与控制设备等多种组件,其系统操作既包括离散又包含连续的过程。

针对上述CPS诸多复杂的特性,将以一种以数据驱动事件的扩展Petri网模型对CPS进行建模。

首先,对事件的描述引入时间和空间属性;其次,引入条件变迁描述库所令牌的变化情况;最后对装有前撞预警系统的车辆进行Petri网的建模分析。

【总页数】6页(P106-111)
【作者】陈浩铎;张立臣
【作者单位】广东工业大学计算机学院
【正文语种】中文
【中图分类】TP3
【相关文献】
1.基于扩展Petri网建模的混合动力汽车能耗分析研究
2.基于AOP的时空Petri网的CPS建模
3.基于扩展混成Petri网的CPS无人车系统建模与分析
4.基于增广混合Petri网的CPS事件建模
5.基于面向对象Petri网的煤矿CPS建模
因版权原因，仅展示原文概要，查看原文内容请购买。

一种基于Petri网的工作流元模型研究[1]

一种基于Petri网的工作流元模型研究[1]

工程、计算机辅助设计与制造； 李德群（ １９４６－ ） ， 男， 教授， 博导， 研究方向： 数字化材料成形与模拟技术。 收稿日期： ２００８－ ０３－ ２７ 修回日期： ２００８－ ０５－ ３０
２０６ ２００８， ４４（ ２４）
Ｃｏｍｐｕｔｅｒ Ｅｎｇｉｎｅｅｒｉｎｇ ａｎｄ Ａｐｐｌｉｃａｔｉｏｎｓ 计算机工程与应用
对于比较简单的业务过程可以用基本 Ｐｅｔｒｉ 网描述， 而对于
复杂的业务过程， 基本 Ｐｅｔｒｉ 网就不能有效而正确地描述。本文 在描述工作流网（ ＷＦ－ Ｎｅｔ） ［２］基本概念和定义的基础上， 针对工 作 流 网（ ＷＦ－ Ｎｅｔ） 应 用 中 的 不 足 加 以 扩 充 并 定 义 ＨＳＣ－ ＰＮ， 重 点描 述 了 ＨＳＣ－ ＰＮ 的 元 模 型 定 义 格 式 ， 阐 述 了 ＨＳＣ－ ＰＮ 元 模 型 对 工 作 流 模 式 、触 发 机 理 及 验 证 。 在 此 基 础 上 ， 开 发 了 符 合 ＨＳＣ－ ＰＮ 的元模型定义工具。
下面详细描述 ＨＳＣ－ ＰＮ 元模型的主要元素。
２ ＨＳＣ－ ＰＮ 元模型 ２．１ ＨＳＣ－ ＰＮ 元模型结构图
ＨＳＣ－ ＰＮ 元模型采用 ＤＴＤ 文件格式定义。ＤＴＤ（ 文档类型 定 义） ［５］指 定 将 在 ＸＭＬ 文 档 中 出 现 的 数 据 元 素 类 型 ， 并 定 义 它 们之间的结构关系。因此， 可以将 ＤＴＤ 看作是 ＸＭＬ 文件模板。 采用 ＨＳＣ－ ＰＮ 业务建模， 将遵循该 ＤＴＤ 定义， 获得工作流描述 的 ＸＭＬ 文 件 。 图 １ 为 ＨＳＣ－ ＰＮ 元 模 型 详 细 结 构 图 。 在 图 中 ， ＷＯＲＫＦＬＯＷ 元 素 表 示 工 作 流 本 身 ， ＳＴＡＲＴ、ＥＮＤ、ＡＣＴＩＯＮ 和 ＳＴＡＴＥ 是其主要的组成部分。下面描述每一部分的详细定义。
基于Petri网的网格工作流建模与优化

基于Petri网的网格工作流建模与优化


网格 的计 算资 源分 布并行 运行 ． 是 由于 网格 的动 但 网格的研究主要源于元计 Ｍｅａ ｏ ｕｉｇ［１ 态性 ． 行任务 的执 行效 率存 在问题 。 ｔＣ ｍｐ ｔ ） ２ ｎ １． － 并 最初 的应用 处 理模式 相对 比较 简单 ． 例如 为 了处理 因此 网格 工 作 流不 仅仅 是 传 统 工作 流技 术 在 某些 本 身非 常 复 杂但 却 适 合划 分 为 大量 的更 小 的 网格 环境 中一 个应 用 ． 同时有 大量 的基本 问题 需 要 计 算 片 段 的 问 题 （ Ｓ Ｔ＠Ｈ ｍ 。 Ｉ 。 Ｃ ７ 重新 考 虑 。本 文 主要 考 虑 网格 工作 流 的过程 模 型 ， 如 Ｅ Ｉ ｏ ｅ Ｇ ＭＳ Ｒ 一 ２ 网格 工作 流过 程模 型的 核心是对 过 程 的定义 ． 括 包 等 ） 可 以将 问题 划 分为许 多小 的部 分 ， 后把 这些 。 然 部分 分 配 给许 多 联 网参 与 计算 的计算 机 进 行并 行 组成 过程 的基 本 活动 以及 活动 之 间的顺 序关 系 。 ｔ ｉ 处理 ．最后 把 这 些计 算 结 果综 合 起来 得 到 最终 结 ２Ｐｅｒ网 适 用 性 分 析 果 。其 中每个计 算 片段 都有 自己的数据 和计算 ， 片 Ｐ ｔ 网是 一种 用 于描 述 离散 的 、分 布式 系统 ｅｉ ｒ 段之 间关联 较 少 ，虽然 处理 问题需 要 的计算量 大 。 的数学 建 模工 具翻 该 方法 自 ６ Ｏ年代 由 德 国学 者 存储 资 源多 ．但 整个 问题 的逻 辑 过 程相 对 比较 简 ＣＡＰ ｔ 提 出以来 ． ．．ｅｒ ｉ 经过 多 年 的 发展 ． 己被 广 泛 用 单， 控制也 比较 容易 。 而随着 研究 的深 入 ， 然 网格应 于诸 多方 面 ． 不可 达活 动检测 、 如 冲突检 验 、 正确 性 用范 围越来 越 广 ， 同时也 越来 越复 杂 。 含时 间 、 包 空 确认 、 锁 防范 、 程优 化等 。 死 流 间 和资 源各 方 面 的约 束 。 因此 一些 网格项 目． 如 例 利用 Ｐ ｔ 网进行 工作 流过 程建模 主要 有 以下 ｅ ｄ Ｐ ｙ Ｇ ｄ ｍ Ｇ ｉＡ ｔ采 用 工 作 流和 具 有 工作 流 三个 方 面 的优 点 ： ｈ — ｆ Ｎ 和 ｒ ｎｔ ｉ ｄ ４ １ 特征 的服务 来 管理 网格 中的应 用 ． 而提 高 了网格 从 ｆ ）ｅ ｉ １ Ｐ ｔ 网兼 顾 了严格 语 义 与 图形 语 言两 个 ｒ 方面。 效率 和监管 力度 网格 工 作 流 与传 统 工 作 流相 比主要 有 以下不 由于 Ｐ ｔ ｅ ｉ网的 所 有 元 素 都 是 经 过 严 格 定 义 ｒ 同： 的 。 有 规 范 的模 型语 义 ， 具 因此 ， 于 Ｐ ｔ 基 ｅｒ ｉ网表 示 首先 。 于 虚 拟 组织 的工 作方 式 ． 基 虚拟 组 织是 的 工 作 流 过 程 也 具 有 十 分 清 晰 与 严 格 的 定 义 。 ｅｉ ｒ 松耦 合 的 ， 包括 多个 管理 领 域 和组 织 ． 乏 集 中 的 Ｐ ｔ 网有 坚实 的理 论基 础 、严 格 的数 学 描 述 和 比 缺 如可 达 树 、 达 图 、 统 的 ８ 可 系 一 控制； 其次 ， 于 网格 服 务 的应 用 方式 ， 基 根据 规 范 ， 较 成 熟 的 分析 方 法 ， 采用 一致 的 网格服 务方 式来 处理 各种应 用 ． 效地 不 变量 、一 变量 、 有 Ｔ不 安全性 、 死锁 等 特性 分析 。 解决 异构 性 、 布 陛和 自治性 等 问题 ： 三 ， 分 第 网格资 （ ）ｅｒ 网是 一种基 于状 态 的建模 技术 。 ２Ｐ ｔ ｉ 源 的动态性 ． 致 网格 的计算 和处 理能力 随 时问变 导 目前 大部 分 的过程定 义技 术 ． 不论 是非 形 式化 化 ， 用性 能估 计 困难 ： 四 ． 应 第 网格 应用很 多 是利用 方 法 （ 数据 流 图 ） 还是 形 式 化 方法 （ 过 程代 数 如 ， 如
基于Petri网的建模分析

基于Petri网的建模分析


１ Ｐ ｔ 网的 基 本 概 念 ｅｒ ｉ
Ｐ ｔ 网是一 种 系统 的数 学 和 图形 的描 述 与分 ｅｒ ｉ
文用黑点表示。随着网络活动的执行， 托肯的数量
析工具 ， 由德国科学家 Ｃ ｒＡ ａ ｅ ｉ 出的， 是 ａｌ ｄｍ Ｐｔ 提 ｒ 是一种描述和分析同步通讯和并发进程资源共享的 最合适、 可靠的建模语言。
任 静 郝 杰２ ，
（ 西安航 空技术高等专科学校 １计算 机工程系 ；． ． ２科技处 ， 陕西 西安 ７０７） １０７
摘 要 ：ｅｆ网以其 简洁、 Ｐｔ ｉ 直观 、 潜在模拟 能力强等特点被 广泛用 于 离散 事件 系统的模拟和分析 中。随着业务流程
建模 、 工作流概念的 出现以及 Ｐ ｔ 网技 术的发展 ， ｅ ｉ ｅｉ ｒ Ｐ ｔ 网也被 用于工作流模型的建立。在介绍 工作 流和 Ｐｔ 网概 ｒ ｅｉ ｒ
领域 。Ｐ ｔ 网理论是 在并 发概 念 上建 立 起来 的 ， ｅｒ ｉ 它
信息流动关系） ；
其 中， 当存在从 Ｐ到 ｔ 的连接 弧 时 ， 所 Ｐ称 为 库
直观地表示了非确定性 ， 可用于表达不 同抽象级上
的系统概 念 。发 展 Ｐ ｔ 网计 算机 是 Ｐ ｔ 网模型 的 ｅｒ ｉ ｅｒ ｉ
消耗一个托肯 ， 并在该变迁 的每个输出库所 中生成
一
个 托肯 。 传统 的 Ｐｔ 网 可 以对 事件 、 ｅｒ ｉ 状态 、 同步 、 条件 、
能直接相连。本文中用圆圈表示库所 ， 用矩形形式表
示变迁 。
１２ 高级 Ｐ 网 ． ｅ
定义 （ ｅｒ 网）２： 个 Ｐ ｔ 网可 由一 个 三 位 Ｐｔ ｉ 【 一 】 ｅｒ ｉ 组（ ， Ｆ表示 ： Ｐ Ｔ， ）