可达标识图

作品数：20被引量：26H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：韩耀军罗雪梅赵义军吴哲辉王佳慧更多>>
相关机构：山东科技大学安徽理工大学同济大学上海外国语大学更多>>
相关期刊：《自动化与信息工程》《电子科技》《计算机应用》《科学中国人》更多>>
相关基金：国家自然科学基金山东省自然科学基金国家杰出青年科学基金山东省优秀中青年科学家科研奖励基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Petri网的并发系统活性分析
《小型微型计算机系统》2003年第7期1297-1300,共4页左凤朝 
山东省自然科学基金资助课题 (项目号 G0 810 8)
本文从数据库系统在时刻 t的状态 N出发 ,构造出相应的 Petri网模型 ,进而构造出其可达标识图 .通过分析可达标识图 ,可判断系统是否为死锁状态 .若不是死锁状态 ,系统是否可能出现死锁 ,什么情况下系统肯定不会出现死锁 .最后 。
关键词：P/T网 数据库系统 PETRI网模型 可达标识图 事务 死锁 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部