基于Petri网的跨组织应急联动处置系统建模与分析_曾庆田.pdf

第 卷 第 期 计 算 机 学 报 ３６ １１ 　　 　　 　　 　　 　 Ｖｏｌ．３６ Ｎｏ．１１ 年 月 ２０１３ １１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦ ＣＯＭＰＵＴＥＲＳ Ｎｏｖ．２０１３ 　 　 　 　 基于 网的跨组织应急联动处置系统建模与分析 Ｐｅｔｒｉ 曾庆田 鲁法明 刘 聪 孟德存 　 　 　 （ ） 山东科技大学信息科学与工程学院 山东 青岛 ２６６５１０ 　 　 、 摘 要 应急联动系统具有的跨组织特性 组织部门间任务协同模式的复杂性以及应急处置时间和资源消耗的不 　 　 ， ， 确定性 使得跨组织应急联动系统缺乏形式化的建模和分析方法 为此 文中针对跨组织应急联动系统的形式化建 ． ， 模和分析方法进行研究 首先给出了应急联动任务的形式化模型 分析了跨组织协作过程中任务之间存在的各种 ． ； 、 ， ＿ 关系 在 网模型的基础上扩展了任务执行组织部门 资源消耗以及消息传递等任务要素 提出了 Ｐｅｔｒｉ ＯＴＲＭ Ｎｅｔ ， ； ， 的概念 并以此为工具对跨组织应急联动系统中的任务协同模式和应急处置流程进行了形式化建模 最后 基于 ＿ 、 ， 模型研究了应急处置流程的时间性能分析 资源冲突检测以及部门内部任务化简等问题 针对上述问 ＯＴＲＭ Ｎｅｔ 题提出了形式化的解决方案． ， ， ， ， 关键词 应急联动系统 跨组织工作流 网 资源冲突检测 时间性能分析 Ｐｅｔｒｉ 　 中图法分类号 号 ／ ＴＰ３０１ ＤＯＩ １０．３７２４ＳＰ．Ｊ．１０１６．２０１３．０２２９０ 　　　 　 Ｍｏｄｅｌｉｎ ａｎｄＡｎａｌｓｉｓｆｏｒＣｒｏｓｓＯｒ ａｎｉｚａｔｉｏｎａｌＥｍｅｒｅｎｃ ｇ 　 ｙ 　 　 ｇ 　 ｇ ｙ