Aimed at fuzzy Petri nets (FPN) existing membership single issue

intuitionistic fuzzy Petri nets (IFPN) was constructed for knowledge representation and reasoning by combining intuitionistic fuzzy sets theory and Petri net theory.Firstly

IFPN model was constructed for knowledge representation

and the issue of negative proposition representation was solved by introducing inhibitive transfer arcs into the model.Secondly

the algorithm based on matrix operation was presented

the issue of fact reservation in reasoning procedure was solved by modifying token value's transfer rules after transitions being fired

and the issue of transitions repeatedly being fired was inhibited by modifying firing rules of transitions.Lastly

the algorithm was analyzed

and the feasibility of proposed IFPN model and algorithm was proved through an example.The result indicates that IFPN is an effective extension and development of FPN

and it describes the reasoning result more delicately and comprehensively.