|
计算机科学 2002
Two Kinds of General Composition Union Nets for M-Petri Nets
|
Abstract:
1 引言 Petri网理论作为系统模拟与分析的重要工具已在众多领域得到应用,但Petri网对于大系统的分析也遇到了一些困难。因此,通过一些较为简单的小网利用某种运算或组合而得到较为复杂的大网,且在组合过程中保持网的某些性质不变,无疑为Petri网对于大系统的分析提供了很好的途径。文1,2]首次提出了Petri网的加法、笛积、广义笛积运算,研究了一系列重要性质。文3,4]定义了Petri网的并运算、组合网,讨论了保持网的结构性质及活性的条件。文5,6]给出两类新的组合网、笛加运算,讨论了保持网的代数性质的条件。文7]又