基于同步合成的结构复杂petri网的行为描述

首先分析了一类结构简单的petri网-s-网的语言性质,得到了它们的行为描述方法.拓展了petri网同步合成的概念,证明了给定一个结构复杂的petri网都可通过一组s-网的同步合成运算而得到,并给出了相应的求解算法.引入语言的同步交运算,分析了结构复杂的petri网与其同步合成子网之间的行为关系,给出了结构复杂petri网的行为描述算法,为利用网语言分析实际系统的行为特征提供了可靠的理论依据和方法.