در ارزيابي كارايي سيستم هاي رايانه يي و مشخصات طراحي و پياده سازي آن SHARIF SAN قابليت هاي نرم افزار

Stochastic activity networks (SANs) are an extension of Petri nets (PNs). These models provide powerful and flexible capabilities for modeling and functional or operational analysis of concurrent and reactive systems. Several modeling tools based on the original definition of SAN models have been introduced. However, recently a new definition of SAN has been presented, which eliminates sonic problems of these models. Here a modeling tool called SharifSAN has been developed for this new deinition of SANs. This modeling tool provides an integrated environment for both verification and performance evaluation. Using this tool, SAN models can he constructed in a graphical user interface. Then, the verification of the functional properties is possible by model checking some user enctred temporal logic formulas or the evaluation of its operational measures by analytical solution or simulation techniques. In a previous paper, the features of Shari/SAN for the verification purposes have been illustrated. In this paper, its features for performance evaluation and the specification, design, implementation and applications of this tool are introduced. By now, this tool has been employed in several research projects in the area of high - speed networks. These applications will also he described.