李菲 董明 蒋昌俊 李华 赵林亮 许化龙 张凤鸣 林闯 宋志平 李明河 李凤英 赵建立 徐周波 吴哲辉 张彤 车万方 古天龙 查建中 王光兴 郭伟 闻英友 陈波 章节笑 柳艳红 韩咚

Petri网 启发式搜索 等价变量标识 多处理机 状态空间 T不变量 性能测试 S不变量 甘特图。 变量标识 关键路径 Matlab 关联矩阵 形式化描述 时间petri网 算法 TCP协议 FMS调度 时间Petri网 存储结构 有向图 任务调度 高级Petri网 着色Petri网 零压缩二叉决策图 自动化分析 并行测试 并行算法 多元化网络管理协议 仿真

Petri网