期刊文献+

基于Petri网的仓库火灾预警系统建模优化分析 被引量:1

Modeling and Optimization Analysis of Warehouse Fire Warning System Based on Petri Net
下载PDF
导出
摘要 对业务流程进行建模分析是业务流程管理的重要内容之一。文章通过形式化建模,用Petri网对传统的仓库火灾预警系统模型进行了优化分析。首先,给出传统仓库火灾预警系统的Petri网模型,通过模型模拟实际场景,找出模型中的缺陷;然后,通过增加相关的变迁和库所对模型进行优化,达到尽可能减小企业损失的目的;最后使用PIPE软件实验仿真验证优化后模型的可行性,实验结果表明,该优化后的模型可有效对仓库火灾进行预警。 Modeling and analyzing business processes is one of the important contents of business process management.Through formal modeling,the traditional warehouse fire warning system model is optimized and analyzed by Petri net.Firstly,the Petri net model of the traditional warehouse fire warning system is given,and the real scene is simulated through the model to find out the defects in the model.Then,the model is optimized by adding relevant transitions and places to minimize the loss of enterprises.Finally,experimental simulation of PIPE software is used to verify the feasibility of the optimized model.The experimental results show that the optimized model can effectively provide early warning for warehouse fires.
作者 陈帅 CHEN Shuai(Anhui University of Science and Technology,Huainan Anhui 232001,China)
出处 《佳木斯大学学报(自然科学版)》 CAS 2020年第3期110-113,154,共5页 Journal of Jiamusi University:Natural Science Edition
基金 国家自然科学基金资助项目(61402011) 安徽省自然科学基金(1508085MF111) 安徽省高校自然科学基金资助重点项目(KJ2016A208)。
关键词 PETRI网 建模优化 PIPE软件 Petri net modeling optimization PIPE software
  • 相关文献

参考文献1

二级参考文献12

  • 1吴哲辉.Petri网理论[M].北京:机械工业出版社,2006. 被引量:5
  • 2PETRI C A. Konmmunkation mit automaten [ C ]. Bonn English translation, Communication with Automata, 1966. 被引量:1
  • 3HEINER M, ROHR C, SCHWARICK M. MARCIE - Model checking and reachability analysis done efficiently [J]. Lecture Notes in Computer Science, 2011, 7927: 91 - 100. 被引量:1
  • 4SOBOCI SKI P, STEPHENS O. Penrose: putting composi- tionality to work for Petri net reachability [ M] //Algebra and Coalgebra in Computer Science. Springer Berlin Hei- delberg, 2013 : 346 - 352. 被引量:1
  • 5WANG S, ZHOU M C, LI Z, et al. A new modified reacbabiiity tree approach and its applications to unbound- ed Petri nets [ J]. IEEE Transactions on Systems Man &Cybernetics Systems, 2013, 43 (4) : 932 -940. 被引量:1
  • 6CHEN H, WU N Q, ZHOU M. Resource- oriented Petri net - based approach to deadlock prevention of AMSs [ C]. Hong Kong: IEEE International Conference on Sys- tems, Man, and Cybernetics, 2015. 被引量:1
  • 7SMIRNOV S, WEIDLICH M, MENDLING J. Business process model abstraction based on behavioral profiles [C]. San Francisco: 8th International Conference, Hei- delberg: Springer Berlin Heidelberg, 2010, 6470: 1 - 16. 被引量:1
  • 8WEIDLICH M, WESKE M, MENDLING J. Change prop- agation in process models using behavioral profiles: serv- ices computing, potsdam 2009 [ C ]. Bangalore: IEEE Conference Publications, 2009 : 33 - 40. 被引量:1
  • 9SMIRNOV S, WEIDLICH M, MENDLING J, et al. Ac- tion patterns in business process model repositories [ J ]. Computers in Industry, 2012, 63 (2) : 98 - 111. 被引量:1
  • 10杨夏妮,龙法宁,张远夏.基于约束优化的Petri网可达性分析[J].计算机应用,2013,33(4):1128-1131. 被引量:3

共引文献6

同被引文献8

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部