-
题名Petri网的状态转换图
被引量：3
- 1
-
-
作者
张继军
吴哲辉
董卫
-
机构
山东农业大学信息学院
山东科技大学信息学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2008年第9期1714-1718,共5页
-
基金
国家自然科学基金项目(60673053)资助
-
文摘
给出Petri网的状态转换图模型,并作为分析工具,分析Petri网重复引发序列在状态转换图中的表现特点,给出标注路径(回路)与引发序列(重复引发序列)的关系及其判定条件,并给出求基本重复引发序列的计算方法;定义了可重复序列之间的依赖性和依赖度,准确地给出了可重复序列之间依赖关系的形式描述;分析了Petri网语言的结构特点,证明了任意一个Petri网语言都是一个正规语言表达式与该网的可重复引发序列α闭包的同步.
-
关键词
PETRI网
状态转换图
重复序列的依赖性
标注路径
-
Keywords
petri net
state transition diagram
dependence of repetitive sequence
marked oath
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名Petri网语言表达式及其求解算法
被引量：2
- 2
-
-
作者
张继军
范昊
耿霞
-
机构
山东农业大学信息科学与工程学院
-
出处
《计算机科学》
CSCD
北大核心
2009年第11期136-139,216,共5页
-
基金
国家自然科学基金(60673053)
国家自然科学基金委员会重大研究计划项目(90718011)资助
-
文摘
Petri网语言是描述网系统动作序列的集合。为了给出一个网系统语言的形式描述,基于Petri网的状态转换图,分析了Petri网的行为特征,定义了α闭包表达式和Petri网语言表达式,给出了求解Petri网语言表达式的算法,为Petri网语言的形式化描述和分析提供了一种新方法。
-
关键词
Petri网状态转换图
重复序列的依赖性
Petri网语言表达式
算法
-
Keywords
State transition diagram,Dependence of repetitive sequence, Expression of Petri net language, Algorithm
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
