Fuzzy Petri net based reasoning for the diagnosis of bus condition | IEEE Conference Publication | IEEE Xplore