Dimirovski, G. M. Fuzzy-Petri-Net Reasoning Supervisory Controller and Estimating States of Markov Chain Models. Comput. Inform. 2012, 24, 563-576.