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

论文摘要

为提高图书的利用率,实现更人性化的借阅服务,提出了一种基于Petri网的图书借阅系统模型的优化方法.首先,通过分析图书借阅系统的结构,利用Petri网对借阅系统进行建模;其次,对Petri网模型中的各变迁之间的行为轮廓关系进行分析后,通过增加控制结构对模型进行优化;最后,利用PIPE软件对优化后的模型进行仿真模拟,结果表明优化后的模型具有有界性和安全性.

论文目录

• 0 引言
• 1 基本概念
• 2 基于Petri网的图书借阅系统的建模与优化
•   2.1 基于Petri网的图书借阅系统模型
•   2.2 图书借阅系统的Petri网模型优化分析
• 3 模型的有界性和安全性分析
• 4 结论

文章来源

类型: 期刊论文

作者: 李增

关键词: 行为轮廓,建模,优化

来源: 延边大学学报(自然科学版) 2019年04期

年度: 2019

分类: 基础科学,信息科技

专业: 计算机软件及计算机应用,图书情报与数字图书馆

单位: 安徽理工大学数学与大数据学院

基金: 国家自然科学基金资助项目(61402011),安徽省自然科学基金资助项目(1508085MF111),安徽理工大学研究生创新基金资助项目(2019CX2068)

分类号: G250.7;TP301.1

DOI: 10.16379/j.cnki.issn.1004-4353.2019.04.010

页码: 335-338

总页数: 4

文件大小: 423K

下载量: 157