计算机科学 ›› 2022, Vol. 49 ›› Issue (4): 294-301.doi: 10.11896/jsjkx.210300224

• 人工智能 • 上一篇    下一篇

基于逻辑博弈决策Petri网的应急决策建模与分析

李清, 刘伟, 管梦真, 杜玉越, 孙红伟   

  1. 山东科技大学计算机科学与工程学院 山东 青岛 266590
  • 收稿日期:2021-03-24 修回日期:2021-08-12 发布日期:2022-04-01
  • 通讯作者: 刘伟(liuwei_doctor@yeah.net)
  • 作者简介:(1247620306@qq.com)
  • 基金资助:
    山东省自然科学基金面上项目(ZR2020MF033); 国家自然科学基金(61472228)

Modeling and Analysis of Emergency Decision Making Based on Logical Probability GamePetri Net

LI Qing, LIU Wei, GUAN Meng-zhen, DU Yu-yue, SUN Hong-wei   

  1. College of Computer Science & Engineering, Shandong University of Science & Technology, Qingdao, Shandong 266590, China
  • Received:2021-03-24 Revised:2021-08-12 Published:2022-04-01
  • About author:LI Qing,born in 1995,postgraduate,professor.Her main research interests include Petri netprocess mining,and distributed coordinated control.LIU Wei,born in 1977,professor,Ph.D supervisor,Fund/Talent.His main research interests include formal enginee-ring methods,Petri nets,workflows and Web services.
  • Supported by:
    This work was supported by the Shandong Provincial Natural Science Foundation of China(ZR2020MF033) and National Natural Science Foundation of China(61472228).

摘要: 发挥逻辑Petri网对批处理和传值不确定性的建模优势,融合多主体博弈过程的相关博弈要素,为多主体决策问题建模,解决多主体动态博弈决策优化问题,文中提出了逻辑博弈决策Petri网。首先,定义每个token的属性为理性人并为其定义效用函数值以及状态概率转移函数。其次,引入决策变迁,依据token效用函数值对比确定最优决策变迁的引发并给出相关算法。最后,基于逻辑博弈决策Petri网对突发事件的动态博弈应急决策过程进行建模与分析,并依据可达标识构建可达图,对动态博弈过程进行分析,针对可达图的生成进行算法描述,并探讨突发事件的逻辑博弈决策模型如何解决动态博弈决策问题、生成最优应急预案以及应急过程中对资源冲突的分析。在此基础上验证了模型在分析突发事件的应急决策过程中的有效性和优越性。

关键词: 动态博弈, 决策变迁, 可达图, 逻辑博弈决策Petri网

Abstract: To give play to the modeling advantages of the logical Petri net for batch processing and uncertainty of value transfer, this paper integralings the relevant game elements of multi-agent game process, excutes models for the multi-agent decision problem, solves the problem of multi-agent dynamic game decision optimization and puts forward logic game decision Petri net.Above all, this paper defines the properties of each token as rational persons and its utility function values, and provide the definition of utility functions and state probability transfer function.Next, this paper introduces decision transition, determines the optimal decision transition as per the comparison of token utility function value as well as provides related algorithm.Finally, the modeling and analysis of the dynamic game decision process of emergency are carried out based on logical game decision Petri net, and the dynamic game process is analyzed based on the reachability graph constructed by reachability identification.The algorithm is described for the generation of reachability graph, and how to solve the dynamic game decision problem is discussed, thus the optimal emergency pre-arranged plan is generated and the resource conflict in the process of emergency is analyzed by the logic game decision model of emergency.On this basis, this paper verifies the effectiveness and superiority of the model in the analysis of the emergency decision process.

Key words: Decision-making transition, Dynamic game, Logical probability game Petri nets, Reachable graph

中图分类号: 

  • TP301
[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.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!