[1]李 增.基于Petri网的图书借阅系统的 建模与优化分析[J].延边大学学报(自然科学版),2019,45(04):335-338.
　LI Zeng.Modeling and optimization analysis of library lending system based on Petri net[J].Journal of Yanbian University,2019,45(04):335-338.
点击复制

基于Petri网的图书借阅系统的 建模与优化分析

《延边大学学报(自然科学版)》[ISSN:1004-4353/CN:22-1191/N] 卷: 第45卷 期数: 2019年04期 页码: 335-338 栏目: 基础科学研究 出版日期: 2020-01-15
Title:
Modeling and optimization analysis of library lending system based on Petri net
文章编号:
1004-4353(2019)04-0335-04
作者:
李 增
( 安徽理工大学 数学与大数据学院, 安徽 淮南 232001 )
Author(s):
LI Zeng
( College of Mathematics and Big Data, Anhui University of Science and Technology, Huainan 232001, China )
关键词:
Petri网;  行为轮廓;  建模;  优化
Keywords:
Petri net;  behavior profile;  modeling;  optimization
分类号:
TP319.9
文献标志码:
A
摘要:
为提高图书的利用率,实现更人性化的借阅服务,提出了一种基于Petri网的图书借阅系统模型的优化方法.首先,通过分析图书借阅系统的结构,利用Petri网对借阅系统进行建模; 其次,对Petri网模型中的各变迁之间的行为轮廓关系进行分析后,通过增加控制结构对模型进行优化; 最后,利用PIPE软件对优化后的模型进行仿真模拟,结果表明优化后的模型具有有界性和安全性.
Abstract:
In order to improve the utilization efficiency of books and realize the humanized lending service, an optimization method of the book lending system model based on Petri net is proposed. Firstly, analyzing the structure of the book lending system, and the lending system is modeled by Petri net. Secondly, the model is optimized by analyzing the behavioral profile relationship between the transitions in the Petri net and increasing the control structure. Finally, the PIPE software is used to simulate the optimized model. The results show that the optimized model is bounded and safe.

参考文献/References:

[1] 卢可,王丽丽.基于Petri网的选课系统建模优化[J].延边大学学报(自然科学版),2018,44(3):246-249.
[2] 刘成山,赵捧未.基于Petri网的数字图书馆过程控制[J].情报杂志,2005(10):57-58.
[3] 邓娉.随机着色Petri网在图书馆文献检索系统中的应用[J].图书馆理论与实践,2010(11):75-76.
[4] 靳天飞,靳力.基于Petri网的图书馆管理预测模型研究[J].山东建筑工程学院学报,2001(4):55-58.
[5] 栾文静,杜玉越.基于逻辑Petri网的图书馆借阅系统的建模与分析[J].系统仿真学报,2008,20(S2):82-85.
[6] 杨玉梅,段欣,兰鹰,等.基于Petri网的数字图书馆系统建模[J].科技情报开发与经济,2009,19(28):23-24.
[7] 吴哲辉.Petri网理论[M].北京:机械工业出版社,2006:1-28.
[8] JENSEN M T. Improving robustness and flexibility of tardiness and total flow -time job shops using robustness measures[J]. Applied Soft Computing, 2001,1(1):35-52.
[9] WEIDLICH M, MENDING J, WESKE M. Efficient consistency measurement based on behavioural profiles of process models[J]. Softare Engineering, 2011,37(3):410-429.

相似文献/References:

[1]方娜,刘祥伟.基于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(04):336.
[2]王倩倩,王丽丽.基于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(04):75.
[3]马婷婷.基于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(04):145.
[4]卢雅楠.基于Petri网的酒店支付模型优化分析[J].延边大学学报(自然科学版),2019,45(03):246.
　LU Yanan.Optimization analysis of hotel payment model based on Petri net[J].Journal of Yanbian University,2019,45(04):246.
[5]方新升,刘祥伟*.基于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(04):255.

备注/Memo

收稿日期: 2019-05-21 作者简介: 李增(1996—),男,在读硕士研究生,研究方向为Petri网理论及模型优化.
基金项目: 国家自然科学基金资助项目(61402011); 安徽省自然科学基金资助项目(1508085MF111); 安徽理工大学研究生创新基金资助项目(2019CX2068)

更新日期/Last Update: 2020-01-15