فهرست نشریات علمی دسترسی آزاد ایران

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