Fuzzy rule base systems verification using high-level Petri nets | IEEE Journals & Magazine | IEEE Xplore