UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world information is uncertain, therefore fuzzy UML diagram has been extensively used by system analyzers. This paper is an attempt to transform state diagrams created in fuzzy UML into fuzzy Petri net, so that the verification and performance evaluation operation could be performed formally, rather than exact visual analysis. Manuscript profile