YAN Shun,FANG Xianwen*,LIU Xiangwei.Application of priority Petri net in the controlling ofelevator operation[J].Journal of Yanbian University,2017,43(03):242-246.
优先权Petri网在电梯运行控制中的应用
- Title:
- Application of priority Petri net in the controlling of elevator operation
- Keywords:
- Petri net; priority; current data; Markov chain
- 分类号:
- TP391.9
- 文献标志码:
- A
- 摘要:
- 建立具备及时处理实时数据功能的优先权Petri网模型,弥补数据流模型Petri网较少考虑数据信息实时性的不足.首先,针对需优先处理的实时数据提出变迁优先权及优先权Petri网的概念; 其次,利用Petri网的随机性,通过比较“原则”对模型干扰前后马尔可夫链的区别来确定优先权Petri网模型中的prime变迁和spare变迁,进一步利用“原则”确定的TP与TS间的对应关系来构造优先权结构并增添input库所,并由此提出建模的算法; 最后
- Abstract:
- The priority Petri net are modeled for dealing timely with current data, then improve drawbacks of the Data-flow Petri net about consider currents of information. Firstly, the notion of priority and priority Petri net is presented in terms of prior addressed data; then, according to randomness of Petri net, the prime transition and spare transition are clarified in priority Petri net through "Rule" affect on Markov chain, and construct priority structure and input place by corresponding relation between TP and TS reflected in "Rule", such that an algorithm of model is given in the paper; at last, a case study is used to show the advantage of priority Petri net and the feasibility of algorithm.
参考文献/References:
[1] van der A W M P, Pesic M. Decserflow: towards a truly declarative service flow language[J]. Web Services and Formal Methods, 2006,4184:1-23.
[2] van der A W M P, van Hee K M, ter Hofstede A H M, et al. Soundness of workflow nets: classification, decidability, and analysis[J]. Formal Aspects of Computing, 2011,23(3):333-363.
[3] Basile F, Chiacchio P, Coppola J. Real time identification of time Petri net faulty models[C]// IEEE International Conference on Automation Science and Engineering. IEEE, 2015:280-285.
[4] 刘韦光,赵培,赵云胜.基于Petri网的消防应急救援指挥过程建模与性能优化[J].安全与环境工程,2012,19(3):88-92.
[5] Sidorova N, Stahl C, Ka N. Soundness Verification for Conceptual Workflow Nets with Data: Early Detection of Errors with the Most Precision Possible[M]. Amsterdam: Elsevier Science Ltd, 2011.
[6] Couvreur J M, Encrenaz E, Paviot-Adet E, et al. Data decision diagrams for Petri net analysis[C]// International Conference on Applications and Theory of Petri Nets. Springer-Verlag, 2002:101-120.
[7] Singh L, Rajput H, Vinod G, et al. Computing transition probability in Markov chain for early prediction of software reliability[J]. Quality & Reliability Engineering, 2016,32(3):1253-1263.
[8] Bera D, van Hee K M, van der Werf J M. Designing weakly terminating ROS systems[C]// International Conference on Application and Theory of Petri Nets and Concurrency. Springer Berlin Heidelberg, 2012:328-347.
[9] Kalenkova A A, Lomazova I A. Discovery of Cancellation Regions within Process Mining Techniques[M]. Beijing: IOS Press, 2014.
[10] 吴哲辉.Petri网导论[M].北京:机械工业出版社,2006.
相似文献/References:
[1]应丽,王丽丽,刘祥伟.基于Petri网的门诊就医流程模型优化分析[J].延边大学学报(自然科学版),2018,44(01):79.
YING Li,WANG Lili,LIU Xiangwei.Optimization analysis of outpatient service processbased on Petri net modeling[J].Journal of Yanbian University,2018,44(03):79.
[2]卢可,王丽丽.基于Petri网的选课系统建模优化[J].延边大学学报(自然科学版),2018,44(03):246.
LU Ke,WANG Lili.Modeling optimization of course selection systembased on Petri net[J].Journal of Yanbian University,2018,44(03):246.
[3]杨皓然,姚瑶.基于Petri网的医疗流程建模优化[J].延边大学学报(自然科学版),2018,44(04):332.
YANG Haoran,YAO Yao.Medical process modeling optimization based on Petri Net[J].Journal of Yanbian University,2018,44(03):332.
[4]方娜,刘祥伟.基于Petri网的网络订票系统换乘问题的建模优化[J].延边大学学报(自然科学版),2018,44(04):336.
FANG Na,LIU Xiangwei.Modeling and optimization of transfer problemin network booking system based on Petri Net[J].Journal of Yanbian University,2018,44(03):336.
[5]马婷婷.基于Petri网的就医预检分诊模型优化分析[J].延边大学学报(自然科学版),2019,45(02):145.
MA Tingting.Optimization analysis of medical pre-examination triagebased on Petri net modeling[J].Journal of Yanbian University,2019,45(03):145.
[6]蔡婷婷,刘祥伟.基于Petri网的危险品出入库流程建模优化[J].延边大学学报(自然科学版),2020,46(01):85.
CAI Tingting,LIU Xiangwei.Modeling and optimization of inbound and outbound processes of dangerous goods based on Petri net[J].Journal of Yanbian University,2020,46(03):85.
[7]方新升,刘祥伟*.基于Petri网的高校网上预约报销系统的建模与优化[J].延边大学学报(自然科学版),2021,47(03):255.
FANG Xinsheng,LIU Xiangwei*.Modeling and optimization of online appointment reimbursement system in colleges based on Petri net[J].Journal of Yanbian University,2021,47(03):255.
备注/Memo
收稿日期: 2017-06-08 *通信作者: 方贤文(1975—),男,教授,研究方向为Petri网和可信软件.
基金项目: 国家自然科学基金资助项目(61572035,61402011,61272153); 安徽理工大学研究生创新基金资助项目(2017CX2048); 安徽省优秀青年基金资助项目(ZY290)