| Petri网的块组合积运算及其性质研究 |
| |
| 引用本文： | 李孝忠.Petri网的块组合积运算及其性质研究[J].陕西师范大学学报,2004(Z1). |
| |
| 作者姓名： | 李孝忠 |
| |
| 作者单位： | 天津科技大学计算机科学与信息工程系 天津300222 |
| |
| 基金项目： | 天津市教委科研基金资助项目，天津科技大学科研基金资助项目 |
| |
| 摘 要： | Petri网具有动态、并发和图形直观性等良好特性,特别适合于描述异步并发的系统.Petri网运算是由小系统的性质获得大系统性质的一种有效的分析方法.提出了Petri网的块组合积运算,讨论了保持网的结构性质的条件,为Petri网的分析与综合提供了新途径.
|
| 关 键 词： | Petri网 组合积运算 块组合积运算 结构性质 |
BCP operations and their properties for petri nets |
| |
| LI Xiao-zhong.BCP operations and their properties for petri nets[J].Journal of Shaanxi Normal University: Nat Sci Ed,2004(Z1). |
| |
| Authors: | LI Xiao-zhong |
| |
| Abstract: | Block Composition Product (BCP) operations of Petri nets are proposed in this paper. The condition for reserving structural properties of Petri net after composition is discussed. These results provide new methods for synthesis and analysis of Petri nets. |
| |
| Keywords: | petri net composition product block composition product structural property |
| 本文献已被 CNKI 等数据库收录！ |
