当前位置:首页 >> 信息与通信 >>

基于Petri网的跨组织应急联动处置系统建模与分析


第3 6 卷 第 1 1 期  2 0 1 3年 1 1 月  计  算  机  学  报  Vo 1 . 36   No. 11   NO V. 20 1 3   CHI NES E   J OURNAL   OF   COM PUTE RS   基于 P e t r i 网的跨组 织应 急联动处 置 系统建模 与分 析  曾庆田   鲁法明  刘   聪  孟德存  ( 山东 科 技 大 学信 息 科 学 与 工 程 学 院  山东 青 岛  2 6 6 5 l O )   摘  要 应 急 联 动 系 统 具 有 的跨 组 织 特 性 、 组织 部 门 问任 务 协 同模 式 的 复 杂 性 以及 应 急 处 置 时 间和 资源 消 耗 的 不  确定性 , 使 得跨 组 织 应 急 联 动 系 统 缺 乏 形式 化 的建 模 和分 析 方 法 . 为此 , 文 中 针对 跨 组 织 应 急 联 动 系 统 的 形 式 化 建  模 和分 析 方 法 进 行 研 究 . 首 先 给 出 了应 急 联 动 任 务 的形 式 化 模 型 , 分 析 了 跨 组 织 协 作 过 程 中任 务 之 间 存 在 的 各 种  关 系; 在P e t r i 网模 型 的基 础 上 扩展 了任 务 执 行 组 织 部 门 、 资 源 消 耗 以及 消息 传 递 等 任 务 要 素 , 提 出 了 OT R M— Ne t   的概 念 , 并 以此 为工 具 对 跨 组 织 应 急 联 动 系 统 中 的 任 务 协 同 模 式 和 应 急 处 置 流 程 进 行 了形 式 化 建 模 ; 最后 , 基 于  O TRM — Ne t 模 型研 究 了应 急 处 置 流 程 的 时 间 性 能 分析 、 资 源 冲 突 检 测 以及 部 门 内部 任 务 化 简 等 问 题 , 针 对 上 述 问  题 提 出 了形 式 化 的解 决 方 案 .   关 键 词  应 急联 动系 统 , 跨组织工作流 , P e t r i 网, 资源冲突检测 , 时 间 性 能 分 析  中 图 法 分 类 号 TP 3 0 1   D O I 号  1 0 . 3 7 2 4 / S P . J . 1 0 1 6 . 2 0 1 3 . 0 2 2 9 0   Mo d e l i n g   a n d   Ana l y s i s   f o r   Cr o s s — or g a ni z a t i o na l   Em e r g e nc y   Re s po ns e   S y s t e ms   Us i ng   Pe t r i   Ne t s   Fa — Mi n g   LI U  Co ng   M ENG  De   Z ENG  Qi n g — Ti a n   LU  S h a n d o n g   U n i v e r s i t y   o f   S c i e n c e   a n d   T e c h n o l o g y ,   Q i n g d a o , S h a n d o n g  2 6 6 5 l O )   ( C o l l e g e   o f   I n f o r ma t i o n   S c i e n c e   a n d   E n g i n e e r i n g,   Ab s t r a c t   T

相关文章:
工业工程系统建模与仿真期末复习
5、 仿真的意义:系统是研究对象,建模系统特性的...10、Petri 网:一种图论工具、适于对离散事件动态...把这些符号有机地组织起来形成的图表示了系统的一个...
系统过程优化方法报告
年月日 基于系统过程优化方法的报告一、系统过程优化...“团队工作”为研究开发队伍的主要组织形式和工作方式...使用面向对象的Petri网用于供应链网络的业务流程建模...
基于UML的工作流建模
分析的能力 ;Petri 网在清晰度和准确性方面有较强的优势 , 但 Petri 网模型...管红杰.孟凡荣.孙晋非.基于 UML 的工作流管 理系统建模的应用研究 . 计算机...
嵌入式系统建模方法
形式化建模方法的优势 不仅仅局限于分析和验证,形式...如 Petri 网系统并发性 行为建模能力好,有限状态...操作类方法基于 状态和迁移,其本质上是可执行的,...
工作流管理
通过分析这些工作 流系统可以发现其中还有很多不足, ...(2)基于网的方法 适合于流程的可视化建模,一般都...如 Petri 网、时序逻辑等,但是 ECA 规则的可视化...
Petri网理论在PLC程序设计中的应用研究
[摘要]:Petri 网是一种解决并发、离散系统的数学建模方法,Petri 网可以对 PLC 程 序中具有竞争、协调的并发系统进行描述、分析建模,并利用 Petri 网直接设计 ...
县乡级电子政务解决方案_互联网_IT/计算机_专业资料
基于上述分析,基层政府机构的电子政务系统,不仅要在信息交换上实现自动化,而且对...决财政收支、税务监管、社会保障、公共安全以及应急联动等政府机构跨组织协作的...
基于petri网故障检测技术综述
2 在电力系统中的应用在基于故障 Petri 网的故障诊断处理时,以元件、保护和断路器为目标来构造关联数 据库,利用矩阵方法来表示 Petri 网电力系统故障诊断模型,...
浅谈基于Petri网的Web服务组合建模与验证
浅谈基于 Petri 网的 Web 服务组合建模与验证 该文首先提出了基于 Petri 网的 Web 服务组合建模方法,对服务组合进行形式化建模,然 后采用可达树作为分析工具, 对...
天门论文网代理发表职称论文发表-信息系统可靠性同步交...
航天飞行训练模拟器接口系统可靠性分析 23……基于 ...广义随机 Petri 网的 Web 服务交互行为-环境模型 ...通道停止信号任务中反应抑制的实现 76……基于脑...
更多相关标签: