| 基于Petri网的构件组装运算及其性质 |
| |
| 引用本文： | 张继军,董卫. 基于Petri网的构件组装运算及其性质[J]. 微电子学与计算机, 2006, 23(Z1): 95-97 |
| |
| 作者姓名： | 张继军 董卫 |
| |
| 作者单位： | 山东农业大学,信息学院,山东,泰安,271018 |
| |
| 摘 要： | 文章提出了构件的Petri网模型-构件网,并给出了构件组装的运算;定义了构件组装表达式,给出了构件组装的形式化描述,讨论了构件组装运算的性质和特点,从而提供了对组装构件进行自动分析和验证的方法。
|
| 关 键 词： | Petri网 构件网 构件网表达式 网运算 |
| 文章编号： | 1000-7180(2006)S0-0095-03 |
| 修稿时间： | 2006-03-28 |
Component Composition Operations and Properties Based on Petri Net |
| |
| ZHANG Ji-jun,DONG Wei. Component Composition Operations and Properties Based on Petri Net[J]. Microelectronics & Computer, 2006, 23(Z1): 95-97 |
| |
| Authors: | ZHANG Ji-jun DONG Wei |
| |
| Abstract: | Basing on Petri net, the model of component net is presented in this paper, Four kinds of composition operations of component net, sequence select repeat and parallel composition, are defined. The format describing of component composition (composition expression of component net) is given; A basic theory to automated analysis the properties of composition operations is provided. |
| |
| Keywords: | Petri net Component net Component composition expression Composition operations |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
