Fuzzy-Petri-net reasoning supervisory controller and estimating states of Markov chain models | IEEE Conference Publication | IEEE Xplore