标题：Modeling and analysis for cross-organizational emergency response systems using Petri nets
作者：Zeng, Qing-Tian ;Lu, Fa-Ming ;Liu, Cong ;Meng, De-Cun
作者机构：[Zeng, Qing-Tian ;Lu, Fa-Ming ;Liu, Cong ;Meng, De-Cun ] College of Information Science and Engineering, Shandong University of Science and Technology 更多
来源：Jisuanji Xuebao/Chinese Journal of Computers
摘要：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.