petri网语言表达式及其求解算法

petri网语言是描述网系统动作序列的集合。为了给出一个网系统语言的形式描述，基于petri网的状态转换图，分析了petri网的行为特征，定义了α闭包表达式和petri网语言表达式，给出了求解petri网语言表达式的算法，为petri网语言的形式化描述和分析提供了一种新方法。