عنوان مقاله [English]
نویسنده [English]چکیده [English]
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports different Petri net extensions but also provides some features not supported before. Automatic model construction, steady state analysis of different extensions including constant timed Petri net, run time reconstruction, learning and feature, and automatic solution search are some specific features of the proposed tool. In addition to introducing the model, its capabilities are shown through some examples.