摘要
给出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.
出处
《小型微型计算机系统》
CSCD
北大核心
2008年第9期1714-1718,共5页
Journal of Chinese Computer Systems
基金
国家自然科学基金项目(60673053)资助