论文部分内容阅读
随着信息化社会的发展以及图书馆规模和功能的日益强大,传统的图书管理系统已经不能满足用户的需求,所以需要对其进行改进,构建新模块,增加新功能,搭建新的图书馆自动化管理系统平台。因此,对图书馆流程的建模与分析成为图书管理系统的研究重点之一。描述了图书馆借阅系统的具体流程,建立了相应的逻辑Petri网模型,并研究了系统的某些重要性质。
With the development of information society and the increasing scale and function of the library, the traditional library management system can no longer meet the needs of users, so it needs to be improved, new modules built, new functions added, and a new library automation Management system platform. Therefore, the modeling and analysis of library processes become one of the focuses of library management system. Describes the specific process of library borrowing system, establishes the corresponding logical Petri net model, and studies some important properties of the system.