摘要
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.
出处
《软件工程》
2016年第2期3-6,共4页
Software Engineering