欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
给出Petri网的状态转换图模型，并作为分析工具，分析Petri网重复引发序列在状态转换图中的表现特点，给出标注路径（回路）与引发序列（重复引发序列）的关系及其判定条件，并给出求基本重复引发序列的计算方法；定义了可重复序列之间的依赖性和依赖度，准确地给出了可重复序列之间依赖关系的形式描述；分析了Petri网语言的结构特点，证明了任意一个Petri网语言都是一个正规语言表达式与该网的可重复引发序列α闭包的同步。
英文摘要：
The state transition diagram model of Petri net is given. It is a tool for analyzing behavior of Petri net. The structural characteristics of the repetitive firing sequence of Petri net in state transition diagram is analyzed, and the relations between the firing sequence and marked path are given. An algorithm for computing fundamental repetitive firing sequence is given. Depen- dence of repetitive firing sequences is defined and the structural properties which a language of Petri net is synchronous opera- tion between regular languages expression and α-closure of repetitive sequences is given.
同期刊论文项目
同项目期刊论文
期刊信息
位置：