利用有限自动机所识别的语言构造petri网的可达性树

• 作者: 范毅 郑文艳 郭长友
• 来源期刊: 福建电脑
• 学科: 工学
• 关键词: petri网 可达性树 有限自动机 语言
• 年，卷（期）: 2006,（10）
• 所属期刊栏目: 应用与开发
• 页码范围: 179,187
• 页数: 2页
• 分类号: TP3
• 字数: 1149字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-2782.2006.10.108

摘要

可达性树(reachabilty tree)表示petri网的可达标识集.它既和petri网的结构有关,也和petri网的初始标识有关.通过分析petri网的可达树,可以了解petri网的许多重要性质.因此如何从给出的petri网图转换成可达性树,是进一步研究petri网的关键.基于此,本文利用有限自动机所识别的语言给出了一种构造petri网可达性树的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭长友	德州学院计算机系	25	106	6.0	9.0
2	郑文艳	德州学院计算机系	30	63	4.0	6.0
3	范毅		2	4	1.0	2.0