[1]方新升,刘祥伟*.基于Petri网的高校网上预约报销系统的建模与优化[J].延边大学学报(自然科学版),2021,47(03):255-259.
　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-259.
点击复制

基于Petri网的高校网上预约报销系统的建模与优化

《延边大学学报(自然科学版)》[ISSN:1004-4353/CN:22-1191/N] 卷: 第47卷 期数: 2021年03期 页码: 255-259 栏目: 应用科学研究 出版日期: 2021-10-20
Title:
Modeling and optimization of online appointment reimbursement system in colleges based on Petri net
文章编号:
1004-4353(2021)03-0255-05
作者:
方新升1;  刘祥伟2*
(1.安徽理工大学数学与大数据学院;2.安徽理工大学经济与管理学院:安徽淮南232001)
Author(s):
FANG Xinsheng1;  LIU Xiangwei2*
( 1.School of Mathematics and Big Data, Anhui University of Science and Technology; 2.School of Economics and Management, Anhui University of Science and Technology: Huainan 232001, China )
关键词:
Petri网;  行为轮廓;  变迁规则;  优化模型;  预约报销系统
Keywords:
Petri net;  behavior profile;  transition rule;  optimization model;  reservation reimbursement system
分类号:
TP391.9
文献标志码:
A
摘要:
针对高校网上预约报销系统存在的排队问题,建立了一种基于Petri网的高校网上预约报销系统的优化模型.首先对高校网上预约报销系统的基本流程进行了建模分析,然后结合实际情况和活动间的基本行为轮廓关系建立了高校网上预约的整体模型,并通过对整体模型的分析对整体模型进行了优化.最后使用PIPE和Tina软件对所提出的优化模型进行了测试,结果表明模型是安全有界的.本文研究结果可为提高高校报账效率提供参考.
Abstract:
Aiming at the queuing problem in the online reservation reimbursement system of colleges, an optimization model of the online reservation reimbursement system for colleges based on Petri net was established. Firstly, the basic process of online reservation reimbursement system for colleges was modeled and analyzed, and then the overall model of online reservation for colleges was established based on the actual situation and the basic behavior profile relationship between activities and the overall model was optimized through the analysis of the overall model. Finally, PIPE and Tina software are used to test the proposed optimization model, and the results show that the model is safe and bounded. The research results of this paper can provide reference for improving the reimbursement efficiency of colleges.

参考文献/References:

[1] 王标,胡强.基于Petri网建模的云制造流程业务兼容性检测[J].电子技术,2017,46(4):48-51.
[2] 金红琳,刘波.分布式锁的Petri网建模及死锁检测[J].计算机科学,2011,38(8):49-52.
[3] 李勇,王文奇,史豪斌.针对入侵检测分析的Petri网建模技术研究[J].计算机应用与软件,2015,32(11):301-304.
[4] 严顺,方贤文,刘祥伟.优先权Petri网在电梯运行控制中的应用[J].延边大学学报(自然科学版),2017,43(3):242-246.
[5] 王列伟,吴朔,胡俊华.基于Petri网的道路交叉口建模方法及比较研究[J].计算机工程与应用,2018,54(14):211-216.
[6] 叶剑,李锦涛,朱珍民,等.面向普适计算的分布式模糊推理Petri网建模及仿真[J].系统仿真学报,2011,23(7):1329-1335.
[7] WEIDLICH M, MENDLING J, WESKE M.Efficient consistency measurement based on behavioral profiles of process models[J].IEEE T Software Eng, 2011,37(3):410-429.
[8] 章杰文,姚俊生,袁仁淼.作业成本法在高校网上预约报销系统的应用研究[J].商业会计,2021(4):106-110.
[9] 吴哲辉.Petri网理论[M].北京:机械工业出版社,2006:6-42.
[10] 方贤文.Petri网行为轮廓理论及其应用[M].上海:上海交通大学出版社,2017:1-16.

相似文献/References:

[1]严顺,方贤文*,刘祥伟.优先权Petri网在电梯运行控制中的应用[J].延边大学学报(自然科学版),2017,43(03):242.
　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.
[2]应丽,王丽丽,刘祥伟.基于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.
[3]卢可,王丽丽.基于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.
[4]杨皓然,姚瑶.基于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.
[5]王倩倩,王丽丽.基于Petri网行为轮廓的网上购物流程挖掘方法[J].延边大学学报(自然科学版),2019,45(01):75.
　WANG Qianqian,WANG Lili.The online shopping process mining basedon behavioral profile of Petri net[J].Journal of Yanbian University,2019,45(03):75.
[6]李 增.基于Petri网的图书借阅系统的 建模与优化分析[J].延边大学学报(自然科学版),2019,45(04):335.
　LI Zeng.Modeling and optimization analysis of library lending system based on Petri net[J].Journal of Yanbian University,2019,45(03):335.
[7]蔡婷婷,刘祥伟.基于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.
[8]方娜,刘祥伟.基于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.
[9]马婷婷.基于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.

备注/Memo

收稿日期: 2021-05-20
基金项目: 国家自然科学基金(61572035,61402011)
*通信作者: 刘祥伟(1977—),女,教授,研究方向为业务流程管理等.

更新日期/Last Update: 2021-10-20