-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=模型行为分析 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
基于冲突判定的混杂Petri网模型行为分析被引量：1
《广西师范学院学报（自然科学版）》2011年第3期77-81,共5页陆建波 廖伟志 
国家自然科学基金项目(60864001);广西自然科学基金资助项目(0991105);广西教育厅科研项目(200807MS113)
为了分析基本混杂Petri网模型行为,提出了基本混杂Petri网各迁移间的冲突判定定理,讨论了消解策略,并给出了基于冲突判定和消解的基本混杂Petri网模型行为分析算法。理论分析证明了所提出定理的正确性,实例分析和比较说明了所提出算法...
关键词：混杂PETRI网 冲突 消解 模型行为分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部