协同设计中任务管理的不确定性表示与验证

针对协同设计中如何提高任务执行的并行度和平稳性，确保任务管理的质量和可靠性等问题，提出了基于模糊集理论的任务管理方法，以及表示与验证的对象化模糊Petri网。通过分析对象化模糊Petri网结构网的可达图，验证任务间的依赖关系，采用改进的对象化模糊Petri网模糊推理算法，分别验证任务项被确定和被完成的可信度。实例表明了基于对象化模糊Petri网的任务管理表示及验证方法的有效性。