原创《基于Petri网的图书管理构件系统复合组装》：本论文为您写图书管理毕业论文范文和职称论文提供相关论文参考文献，可免费下载。
摘 要：Petri网具有严格数学逻辑和直观图形表达,本论文使用Petri网形式化建模,用层次Petri网描述复合构件组装,分析了组装的原理、组装的方式与组装的框架,对复合组装的行为与框架性质进行分析,以图书管理系统为例子对系统中的各个构件组装进行形式化表示.
关键词：Petri网；构件性质；构件组装
中图分类号：TP311 文献标识码：A
1 引言（Introduction）
信息化产业和软件工程技术革命高速发展的今天,越来越多系统成了遗产系统,基于构件的软件演化成了主流研究领域[1],对这个领域的研究有着重要的现实意义和广阔前景.Petri网具有严格数学逻辑和直观图形表达[2],本文使用Petri网形式化建模,实现对图书管理构件系统复合组装.
2 图书管理系统介绍 （Introduction of library
management system）
本文提出在扩展Petri网的基础上对图书管理系统的各个构件进行建模表示,将形式化理论的可行性上升到实用层次来实现.图书管理系统是人与计算机对图书进行管理,包括图书的购入、借阅、归还及注销,管理员可以查询某位读者,某种图书的借阅情况,还可以对当前图书借阅情况进行一些统计,给出统计表格,以便全面掌握图书的流通情况[3].
图书管理系统对图书主要进行四个方面管理：购入新书、读者借书、读者还书,以及图书注销：
（1）购入新书时为该书写入图书目录：分类作者、目录号、流水号、书名、内容摘 要、购书日期、等信息.
（2）借书时填写借书单：欲借书图书分类目录号、读者号,系统首先检查是否有效的读书号,若无效则输出；有效则检查所借图书是否超过最大限制数,若达最大限制数输出,否则登记所借图书分类目录号、借阅日期、读者号,写回到借书文件中.
（3）还书时从所借图书中读出借阅记录,回还书日期到借书文件中,如果借书日期逾期,则处以罚款.
（4）对图书进行清理管理工作,删除无价值图书、淘汰的图书并进行注销.
（5）咨询要求分三种情况：查询某种图书、查询某位读者、查询全局图书.
图书管理论文参考资料：
结论：基于Petri网的图书管理构件系统复合组装为适合不知如何写图书管理方面的相关专业大学硕士和本科毕业论文以及关于图书管理论文开题报告范文和相关职称论文写作参考文献资料下载。
