同步合成网的进程特性研究

Research on Process Characteristics of Syncyronous Composition Netws

进程是反映Ｐｅｔｒｉ网动态特性的重要工具，同步合成是考察复杂Ｐｅｔｒｉ同性质的有效途径．本文研究Ｐｅｔｒｉ网同步合成过程中进程关系的特性，获得基本进程集的合成公式和进程语言的合成公式，还得到了切集，线集的有关性质．这些结果可为复杂Ｐｅｔｒｉ网动态特性的考察提供有力手段．

Process is an important tool of describing dynamic characteristics of Petri net.Synchronous composition is an effective method for studing properties of complex Petri net. This paper researches the process characteristics in synchronous composition. The composition formulas set of basic processes and process language are obtained,respectively. The properties of out set and line are also obtained. These results are useful for studying dynamic characters of complex Petri net.