ارائۀ یک ابزار مبتنی بر شبکۀ پتری به‌منظور تحلیل و شبیه‌سازی سیستم‌های کامپیوتری

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