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

Modeling and Analysis for Cross Organizational Emergency Response Systems Using Petri Nets

作　　者：曾庆田[1] 鲁法明[1] 刘聪[1] 孟德存[1] 

机构地区：[1]山东科技大学信息科学与工程学院,山东青岛266510

出　　处：《计算机学报》2013年第11期2290-2302,共13页Chinese Journal of Computers

基　　金：国家自然科学基金(61170079;61202152);教育部高校博士点基金(20103718110007);山东科技大学杰出青年基金(2010KYJQ101)资助

摘　　要：应急联动系统具有的跨组织特性、组织部门间任务协同模式的复杂性以及应急处置时间和资源消耗的不确定性,使得跨组织应急联动系统缺乏形式化的建模和分析方法.为此,文中针对跨组织应急联动系统的形式化建模和分析方法进行研究.首先给出了应急联动任务的形式化模型,分析了跨组织协作过程中任务之间存在的各种关系;在Petri网模型的基础上扩展了任务执行组织部门、资源消耗以及消息传递等任务要素,提出了OTRM_Net的概念,并以此为工具对跨组织应急联动系统中的任务协同模式和应急处置流程进行了形式化建模;最后,基于OTRM_Net模型研究了应急处置流程的时间性能分析、资源冲突检测以及部门内部任务化简等问题,针对上述问题提出了形式化的解决方案.There is a shortage of formal modeling and analyzing method of ERS （Emergency Response System） due to the cross-organizational characteristics, i. e. , the complexity of cross- organizational coordination pattern, the uncertainty of disposal duration and the resource usage. To solve the above difficulties, a study of the formal modeling and analysis of cross-organizational emergency response system is given in this paper. First, this paper introduces the formal model of emergency response tasks and identifies five kinds of inter-task relations during the cross- organizational coordination process. Then we define the OTRM_Net by extending Petri nets with more task elements including execution organization, resource cost and message etc. Consequently, we can describe the task coordination patterns and disposal processes in the ERS in terms of OTRM_Net. Finally, we further study the timing performance of emergency response processes, resource conflict detection and the reduction or conceal of inner tasks. In addition, we figure out formal ways toward the above issues.

关 键 词：应急联动系统 跨组织工作流 PETRI网 资源冲突检测 时间性能分析 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]