基于Petri网的跨组织应急联动处置系统建模与分析
应急联动系统具有的跨组织特性、组织部门间任务协同模式的复杂性以及应急处置时间和资源消耗的不确定性,使得跨组织应急联动系统缺乏形式化的建模和分析方法.为此,文中针对跨组织应急联动系统的形式化建模和分析方法进行研究.首先给出了应急联动任务的形式化模型,分析了跨组织协作过程中任务之间存在的各种关系;在Petri网模型的基础上扩展了任务执行组织部门、资源消耗以及消息传递等任务要素,提出了OTRM_Net的概念,并以此为工具对跨组织应急联动系统中的任务协同模式和应急处置流程进行了形式化建模;最后,基于OTRM_Net模型研究了应急处置流程的时间性能分析、资源冲突检测以及部门内部任务化简等问题,针对上述问题提出了形式化的解决方案.
应急联动系统、跨组织工作流、Petri网、资源冲突检测、时间性能分析
36
TP301(计算技术、计算机技术)
国家自然科学基金61170079,61202152;教育部高校博士点基金20103718110007;山东科技大学杰出青年基金2010KYJQ101
2013-12-09(万方平台首次上网日期,不代表论文的发表时间)
共13页
2290-2302