节点文献
Petri网的组合并运算及性质
Composition Union Operations of Petri Nets and the Structural Property
【摘要】 <正> 1 引言 Petri网作为系统模拟与分析的工具已在众多领域得到应用。通过一些较为简单的小网利用某种运算或组合而得到较为复杂的大网,且在组合过程中保持网的某些性质不变,对于合成复杂系统提供了很好的途径。文[1,2]首次提出了Petri网的加法、笛积、广义笛积运算,研究了一系列重要性质。文[3,4]定义了
【Abstract】 Composition union nets of Petri nets are proposed in this paper. Cartesian union operation and two kinds of composition union operations are discussed. The condition for reserving structural properties of Petri net after composition are given. These results provide new methods for synthesis and analysis of Petri nets.
【关键词】 Petri net;
Composition union net;
Cartesian union net;
Structural property;
【Key words】 Petri net; Composition union net; Cartesian union net; Structural property;
【Key words】 Petri net; Composition union net; Cartesian union net; Structural property;
【基金】 山东省自然科学基金
- 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,2000年08期
- 【分类号】TP391.9
- 【被引频次】6
- 【下载频次】61