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

作者：李增

来源：延边大学学报(自然科学版), 2019, 45(04): 335-338.

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

• Petri网
• 行为轮廓
• 建模
• 优化

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

• 单位
  安徽理工大学