Expression and Verification of Task Management in Collaborative Design

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 an object fuzzy Petri nets (OFPN) are proposed based on the fuzzy set theory. The task dependency could be verified by analyzing the reachable graph of the OFPN´s structure net and the certainty of task being decomposed and executed could be verified by applying the fuzzy inference algorithms. An example shows that the task management expression and its verification method based on OFPN are valid, and can be used to promote the task management in collaborative design systems.