咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 行为演变
  • 1 篇 混杂petri网
  • 1 篇 标识可达性分析
  • 1 篇 演变图

机构

  • 1 篇 桂林电子科技大学
  • 1 篇 广西师范学院

作者

  • 1 篇 古天龙
  • 1 篇 廖伟志

语言

  • 1 篇 中文
检索条件"主题词=标识可达性分析"
1 条 记 录,以下是1-10 订阅
排序:
一种新的混杂Petri网可达性分析方法
收藏 引用
小型微型计算机系统 2009年 第8期30卷 1651-1655页
作者: 廖伟志 古天龙 广西师范学院信息技术系 广西南宁530023 桂林电子科技大学计算机与控制学院 广西桂林541004
讨论混杂Petri网的标识可达性问题.以混杂Petri网模型行为演变为基础提出了一种新的可达性分析方法.根据混杂Petri网模型行为演变划分了混杂Petri网的四种演变类型,给出并证明了每一种演变类型的可达性判定定理,基于这些定理给出了相应... 详细信息
来源: 评论