| 引用本文: | 唐运璇.基于Petri网的图书管理构件系统复合组装[J].软件工程,2016,19(2):3-6.【点击复制】 |
|
| |
|
|
|
|
| 基于Petri网的图书管理构件系统复合组装 |
|
唐运璇
|
（云南大学，云南 昆明 650091）
|
|
| 摘 要: Petri网具有严格数学逻辑和直观图形表达，本论文使用Petri网形式化建模，用层次Petri网描述复合构件 组装，分析了组装的原理、组装的方式与组装的框架，对复合组装的行为与框架性质进行分析，以图书管理系统为例子 对系统中的各个构件组装进行形式化表示。 |
| 关键词: Petri网；构件性质；构件组装 |
|
中图分类号: TP311
文献标识码: A
|
|
| The Complex Composition of Library Management Component Systems Based on Petri Nets |
|
TANG Yunxuan
|
( Yunnan University, Kunming 650091, China)
|
| Abstract: 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. |
| Keywords: petri nets;components;component assembly |
|
