节点文献

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

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 郭长友； 郑文艳； 范毅；

【机构】 德州学院计算机系； 德州卫生学校 山东 德州 253023； 山东 德州 253023； 山东 德州 253014；

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

【关键词】 petri网； 可达性树； 有限自动机； 语言；
  • 【文献出处】 福建电脑 ,Fujian Computer , 编辑部邮箱 ,2006年10期
  • 【分类号】TP301.1
  • 【被引频次】1
  • 【下载频次】98
打印本页
节点文献中：