摘要
1引言
Petri网理论作为系统模拟与分析的重要工具已在众多领域得到应用,但Petri网对于大系统的分析也遇到了一些困难.因此,通过一些较为简单的小网利用某种运算或组合而得到较为复杂的大网,且在组合过程中保持网的某些性质不变,无疑为Petri网对于大系统的分析提供了很好的途径.文[1,2]首次提出了Petri网的加法、笛积、广义笛积运算,研究了一系列重要性质.文[3,4]定义了Petri网的并运算、组合网,讨论了保持网的结构性质及活性的条件.文[5,6]给出两类新的组合网、笛加运算,讨论了保持网的代数性质的条件.文[7]又提出Petri网的组合并运算,得到一些好的性质.文[8]提出M-Petri网的基本概念.本文进一步讨论M-Petri网运算,提出M-Petri网的两类广义组合并网,并讨论了保持网的可重复性、相容性、有界性和守恒性的条件.
Two general composition union nets of Petri nets are proposed in this paper. The condition for reserving structural propertie of M-Petri net after composition is discussed. These results provide new methods for analysis of large system with M-Petri nets.
出处
《计算机科学》
CSCD
北大核心
2002年第8期19-21,共3页
Computer Science
基金
山东省自然科学基金
关键词
M-PETRI网
广义组合并网
关联矩阵
代数性质
Petri net, M-Petri net, Composition union net, Generalized composition union net, Structural property
