摘 要：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）咨询要求分三种情况：查询某种图书、查询某位读者、查询全局图书。