计算机科学 ›› 2022, Vol. 49 ›› Issue (4): 294-301.doi: 10.11896/jsjkx.210300224
李清, 刘伟, 管梦真, 杜玉越, 孙红伟
LI Qing, LIU Wei, GUAN Meng-zhen, DU Yu-yue, SUN Hong-wei
摘要: 发挥逻辑Petri网对批处理和传值不确定性的建模优势,融合多主体博弈过程的相关博弈要素,为多主体决策问题建模,解决多主体动态博弈决策优化问题,文中提出了逻辑博弈决策Petri网。首先,定义每个token的属性为理性人并为其定义效用函数值以及状态概率转移函数。其次,引入决策变迁,依据token效用函数值对比确定最优决策变迁的引发并给出相关算法。最后,基于逻辑博弈决策Petri网对突发事件的动态博弈应急决策过程进行建模与分析,并依据可达标识构建可达图,对动态博弈过程进行分析,针对可达图的生成进行算法描述,并探讨突发事件的逻辑博弈决策模型如何解决动态博弈决策问题、生成最优应急预案以及应急过程中对资源冲突的分析。在此基础上验证了模型在分析突发事件的应急决策过程中的有效性和优越性。
中图分类号:
[1] ZHOU J,RENIERS G.Probabilistic Petri-net addition enabling decision making depending on situational change:The case of emergency response to fuel tank farmfire[J].Reliability Engineering and System Safety,2020(200):1016-1032. [2] CHU G,WANG J.A stochastic analysis on occupant evacuation time under emergency conditions[C]//IEEE International Conference on Emergency Management and Management Sciences.Beijing,China,2011:41-44. [3] TSENG J M,LIU M Y,CHANG R H,et al.Emergency re-sponse plan of chlorine gas for process plants in Taiwan[J].Journal of Loss Prevention in the Process Industries,2008,21(4):393-399. [4] DU Y Y,NING Y H.Property analysis of logicPetri nets by marking reachability graphs[J].Frontiers of Computer Science,2014,8(4):684-692[5] BUCCI G,SASSOLI L,VICARIO E.Correctness verificationand performance analysis of real-time systems using stochastic preemptive time Petri nets [J].IEEE Transon Software Engineering,2005,31(11):913-927. [6] CHEN J D,LIU W,FENG X,et al.Finite deadlock-free combination based on logical workflow network[J].Journal of Shandong University of Science and Technology(Natural Science),2020,39(5):89-97. [7] WANG Z,DU Y Y,QI L.Extended Color Logic Petri Net and Its Accessibility Analysis[J].Journal of Shandong University of Science and Technology:Natural Science Edition,2020,39(3):84-98. [8] YANG H R,FANG X W.Business Process Consistency Analysis of Petri Net Based on Probability and Time Factor[J].Computer Science,2020,47(5):59-63. [9] WANG P,LIU W,DU Y Y.Business Process Modeling andAnalysis Based on Logical Data Petri Net[J].Computer Integra-ted Manufacturing System,2017,23(5):921-930. [10] WEI L,XIN F,ZHANG F X,et al.Analytic of B2C E-Com-merce Credit Mechanism Mixed Strategy Risk Behavior Based on Logical Game Petri Nets[J].IEEE Access,2018,6:29109-29131. [11] YANG J J,ZENG Z X.Construction of emergency decision-making model for unconventional emergencies based on situation prediction[J].Statistics and Decision,2018,34(18):43-47. [12] WANG Y Z,LIN C,CHENG X Q,et al.Quantitative analysis method of network attack and defense based on random game model[J].Chinese Journal of Computers,2010,33(9):1748-1762. [13] ZENG Q,LIU C,DUAN H,et al.Resource Conflict Checking and Resolution Controller Design for Cross-Organization Emergency Response Processes[J].IEEE Transactions on Systems,Man,and Cybernetics:Systems,2019(10):1-16. [14] LIU W,SHI X H,SUN H W.Modeling and analysis of hybrid systems based on logic hybrid Petri nets[J].Journal of Shandong University of Science and Technology:Natural Science Edition,2021,40(4):65-75. [15] LIU L,LIU W,DU Y.Business process modeling and analysis based on queue logical Petri nets[J].International Journal of Software Engineering and Knowledge Engineering,2019,29(1):115-137. [16] YANG J J,XU C H.Game model and optimization for joint dispatch of emergency resources[J].Journal of Computer Applications,2014,34(7):2099-2102,2106. [17] DANIAL S N,KHAN F,VEITCH B.A Generalized Stochastic Petri Net model of route learning for emergency egress situations[J].Engineering Applications of Artificial Intelligence,2018,72(JUN.):170-182. [18] ZHANG C,WU J S,HU X F,et al.A probabilistic analysis model of oil pipeline accidents based on an integrated Event-Evolution-Bayesian (EEB) model[J].Process Safety and Environmental Protection,2018(117):694-703. [19] XIE X,JIAK F.Preparation and scheduling system of emergency supplies in disasters[J].Kybernetes the International Journal of Systems & Cybernetics,2015,44(3):423-439. [20] DU Y Y,QI L,ZHOU M C.Analysis and application of logical Petri nets to E-Commerce systems[J].IEEE Transactions on Systems Man & Cybernetics Systems,2014,44(4):468-481. [21] CHEN C,YANG Y B,WANG M T,et al.Characterization and evolution of emergency scenarios using hybrid Petri net[J].Process Safety and Environmental Protection,2018(114):133-142. [22] DU Y,NING Y.Property analysis of logic Petri nets by marking reachability graphs[J].Frontiers of Computer Science,2014,8(4):684-692. [23] DU Y Y,LING Q I,ZHOU M C.A vector matching method for analysing logic Petri nets[J].Enterprise Information Systems,2011,5(4):449-468. [24] YAO J,JI L,CHI H.Dynamic game analysis in emergency ma-nagement of emergencies[J].Management Review,2005(3):48-52,66. |
[1] | 李少辉, 张国敏, 宋丽华, 王秀磊. 基于不完全信息博弈的反指纹识别分析 Incomplete Information Game Theoretic Analysis to Defend Fingerprinting 计算机科学, 2021, 48(8): 291-299. https://doi.org/10.11896/jsjkx.210100148 |
[2] | 展万里, 胡军, 谷青范, 荣灏, 祁健, 董彦宏. 基于模型的故障树自动生成方法 Model-based Fault Tree Automatic Generation Method 计算机科学, 2021, 48(12): 159-169. https://doi.org/10.11896/jsjkx.200800177 |
[3] | 范亚琼,陈海燕. 基于时序关系的系统失效可达图生成方法 System Failure Reachability Graph Generation Method Based on Temporal Relation 计算机科学, 2017, 44(12): 169-174. https://doi.org/10.11896/j.issn.1002-137X.2017.12.032 |
[4] | 王丽,秦小麟,许建秋. 室内概率阈值反向最近邻查询 Probabilistic Threshold Reverse Nearest Neighbor Queries for Indoor Moving Objects 计算机科学, 2015, 42(1): 201-205. https://doi.org/10.11896/j.issn.1002-137X.2015.01.045 |
[5] | 谭玲 郑栋 顾庆 陈道蓄. 工作流模型死锁的Petri网分析 计算机科学, 2006, 33(7): 111-114. |
[6] | 陆维明 甄强. Petri网系统活性的研究 计算机科学, 1999, 26(4): 1-4. |
|