中文摘要：

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

英文摘要：

Focusing on how to enhance the concurrency and smoothness of collaborative design systems,and to ensure the quality and reliability of task management,the expression and verification of task management and Object Fuzzy Petri Nets（OFPNs）were proposed based on the fuzzy set theory.Dependence relationships of the tasks were verified by analyzing the reachable graph of the OFPNs＇s tructure nets.Credibility of task being determined and completed was verified by applying the improved fuzzy inference algorithms.Example showed that the task management ex-pression and its verification method based on OFPNs were valid.