论文部分内容阅读
给出Petri网的状态转换图模型，并作为分析工具，分析Petri网重复引发序列在状态转换图中的表现特点，给出标注路径（回路）与引发序列（重复引发序列）的关系及其判定条件，并给出求基本重复引发序列的计算方法；定义了可重复序列之间的依赖性和依赖度，准确地给出了可重复序列之间依赖关系的形式描述；分析了Petri网语言的结构特点，证明了任意一个Petri网语言都是一个正规语言表达式与该网的可重复引发序列α闭包的同步。