Contradictions determination method in product design using Petri net

The core of product innovation is the design to resolve contradictions, how to determine contradictions in the innovative design has become one of the key issues. Petri net is applied to product design and used for describing the logical relation of principle solution. The paper redefines the contradiction in Petri net theory and proposes a new method of contradiction identified based on Petri net. An engineering case is used to show the process of the new method.