Abstract: Petri net has been applied in formalized reasoning widely by its graphics mode, and the formalized reasoning based on fuzzy colored Petri net(PCPN)is formed by the advantages of the traditional fuzzy colored Petri net in reasoning, the logical relationships of the rules, and by application of the fuzzy knowledge, the place abstraction and the transition abstraction to represent the Petri nets in a graphical way with hierarchical classification and colored display. In this way, a new mode of fuzzy colored Petri net in knowledge reasoning and mode achieving is constructed to improve the traditional Petri net effectively and make the course of reasoning and realizing easily.

Key words: Fuzzy, Colored Petri net, Formalized