A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach