基于逻辑Petri网的图书馆借阅系统的建模与分析

摘要：

随着信息化社会的发展以及图书馆规模和功能的日益强大,传统的图书管理系统已经不能满足用户的需求,所以需要对其进行改进,构建新模块,增加新功能,搭建新的图书馆自动化管理系统平台。因此,对图书馆流程的建模与分析成为图书管理系统的研究重点之一。描述了图书馆借阅系统的具体流程,建立了相应的逻辑Petri网模型,并研究了系统的某些重要性质。

关键词： Petri网 图书馆 借阅系统 图书管理

作者: 栾文静 杜玉越

作者单位: 山东科技大学 信息科学与工程学院,青岛 266510 山东科技大学 信息科学与工程学院,青岛 266510 中国科学院计算机科学国家重点实验室,北京 100080

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 82-85

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）