UML is known as one of the most common methods in software engineering. Since this
language is semi-formal, many researches and effort have been performed to transform this language into
formal methods including Petri nets. The quality of an architectural design of a software system has a great
influence on achieving non-functional requirements to the system. Thus, the operation of verification and
validation of the qualitative and nonfunctional parameters could be achieved with more ability. In this
paper, a case tool named AriaPN which is presented for calculating performance parameters from
Generalized Stochastic Petri Net (GSPN) to be able to analyze the stochastic behavior of the system. We
discuss about them in this paper in addition to a case study.