Fuzzy Petri Net (FPN) is an extension of Petri Net (PN).Previous research focuses on the representation and reasoning of the fuzzy rules with FPN.However

fuzzy production rules with negative literals can not be expressed and reasoned effectively in traditional methods.The inherent meanings of the negative literals in fuzzy production rules are discussed in this paper

while negations of the input proposition can be represented as the negative impact on the rules

and negations of the consequents can be treated as that the rule blocks the consequents.Based on it

Consistent Fuzzy Petri Net (CFPN) model is proposed

which is more suitable to represent the fuzzy logic programs with negations.Thresholds are also introduced to CFPN model.Finally

a formal reasoning algorithm for the CFPN model is presented and validated.