A Petri net-based formal reasoning algorithm for fuzzy production rule-based systems | IEEE Conference Publication | IEEE Xplore