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

• 作者: 刘聪 孟德存 曾庆田 鲁法明
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 应急联动系统 跨组织工作流 Petri网 资源冲突检测 时间性能分析
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 计算机理论
• 页码范围: 2290-2302
• 页数: 13页
• 分类号: TP301
• 字数: 9277字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2013.02290

摘要

应急联动系统具有的跨组织特性、组织部门间任务协同模式的复杂性以及应急处置时间和资源消耗的不确定性,使得跨组织应急联动系统缺乏形式化的建模和分析方法.为此,文中针对跨组织应急联动系统的形式化建模和分析方法进行研究.首先给出了应急联动任务的形式化模型,分析了跨组织协作过程中任务之间存在的各种关系；在Petri网模型的基础上扩展了任务执行组织部门、资源消耗以及消息传递等任务要素,提出了OTRM_Net的概念,并以此为工具对跨组织应急联动系统中的任务协同模式和应急处置流程进行了形式化建模；最后,基于OTRM_Net模型研究了应急处置流程的时间性能分析、资源冲突检测以及部门内部任务化简等问题,针对上述问题提出了形式化的解决方案.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾庆田	山东科技大学信息科学与工程学院	67	573	14.0	21.0
2	鲁法明	山东科技大学信息科学与工程学院	27	101	4.0	8.0
3	刘聪	山东科技大学信息科学与工程学院	16	96	5.0	9.0
4	孟德存	山东科技大学信息科学与工程学院	1	44	1.0	1.0