Research of probability Petri nets model for fault diagnosis based on Bayesian theorem | IEEE Conference Publication | IEEE Xplore