基于Petri网的图书管理构件系统复合组装

The Complex Composition of Library Management Component Systems Based on Petri Nets

Petri网具有严格数学逻辑和直观图形表达，本论文使用Petri网形式化建模，用层次Petri网描述复合构件组装，分析了组装的原理、组装的方式与组装的框架，对复合组装的行为与框架性质进行分析，以图书管理系统为例子对系统中的各个构件组装进行形式化表示。

Petri nets have a strict mathematical logic and intuitive graphic expression.This paper uses petri net model,describing complex component composition in hierarchical petri nets,analyzing the principles,methods, and frames of assembly,to analyze the complex nature and frame assembly,regarding library management systems as an example on the formalization of the assembly for each component in the system.