ارائه يك ابزار مبتني بر شبكه پتري به منظور تحليل و شبيه سازي سيستم‌هاي كامپيوتري

A Petri-net based modeling tool, for analysis and evaluation of computer systems

شبكه پتري بدليل داشتن تنوع و قابليت‌هاي متعدد يكي از پركاربردترين روش‌هاي مدل‌سازي و ارزيابي سيستم‌هاي هم‌روند و مبتني بر رخداد است. با توجه به تنوع كاربرد و وجود انواع مختلف شبكه پتري ابزارهاي مختلفي جهت مدل‌سازي، شبيه‌سازي و تحليل شبكه‌هاي پتري عرضه شده است. هر يك از اين ابزارها بخشي از قابليت‌هاي مورد نياز براي تحليل و ارزيابي سيستم‌ها را فراهم مي‌كنند. در كار حاضر ابزاري براي مدل‌سازي و ارزيابي بر اساس شبكه پتري فراهم شده است كه علاوه بر پشتيباني از انواع مختلف شبكه پتري، برخي از قابليت‌هايي كه در ساير ابزارها كمتر مورد توجه قرار گرفته را فراهم مي‌كند. امكان توليد خودكار مدل، امكان تحليل حالت پايدار انواع شبكه پتري ازجمله شبكه پتري زمان ثابت، تغيير ساختار مدل در حين اجرا، امكان يادگيري و تطبيق پذيري مدل، امكان ارزيابي و جستجوي خودكار راه حل از جمله قابليت‌هاي اين ابزار است. در اين مقاله علاوه بر معرفي مدل جامع پيشنهادي امكانات ابزار ساخته شده شرح داده مي‌شود. علاوه بر آن با ذكر مثال‌هايي قابليت‌هاي انحصاري ابزار مذكور معرفي مي‌شود.

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.