-
题名Petri网语言表达式及其求解算法
被引量:2
- 1
-
-
作者
张继军
范昊
耿霞
-
机构
山东农业大学信息科学与工程学院
-
出处
《计算机科学》
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
[自动化与计算机技术—计算机系统结构]
-