孙涛 黄天戍 赵勇 方宗德 郭辉 孙夫雄

简化规则 设计任务网络图 时间约束Petri网 线性推理 启发式规则 模型 任务粒度设计 任务调度 简化分析 工作流 模糊时间着色Petri网 匈牙利算法 网络协作设计 任务分解策略 工作流模型 协同设计 可调度性验证

西北工业大学机电学院 陕西西安