Verification of Knowledge-Based Systems Using Predicate/Transition Nets | IEEE Journals & Magazine | IEEE Xplore