دوره 7، شماره 1 - ( سال هفتم - بهار و تابستان 1397 )                   جلد 7 شماره 1 صفحات 2-23 | برگشت به فهرست نسخه ها

DOI: 10.22052/7.1.2


XML English Abstract Print


دانشگاه کاشاندانشکده مهندسی برق و کامپیوترگروه مهندسی کامپیوتر ، hsabaghianb@kashanu.ac.ir
چکیده:   (348 مشاهده)
شبکه پتری بدلیل داشتن تنوع و قابلیت‌های متعدد یکی از پرکاربردترین روش‌های مدل‌سازی و ارزیابی سیستم‌های هم‌روند و مبتنی بر رخداد است. با توجه به تنوع کاربرد و وجود انواع مختلف شبکه پتری ابزارهای مختلفی جهت مدل‌سازی، شبیه‌سازی و تحلیل شبکه‌های پتری عرضه شده است. هر یک از این ابزارها بخشی از قابلیت‌های مورد نیاز برای تحلیل و ارزیابی سیستم‌ها را فراهم می‌کنند. در کار حاضر ابزاری برای مدل‌سازی و ارزیابی بر اساس شبکه پتری فراهم شده است که علاوه بر پشتیبانی از انواع مختلف شبکه پتری، برخی از قابلیت‌هایی که در سایر ابزارها کمتر مورد توجه قرار گرفته را فراهم می‌کند. امکان تولید خودکار مدل، امکان تحلیل حالت پایدار انواع شبکه پتری ازجمله شبکه پتری زمان ثابت، تغییر ساختار مدل در حین اجرا، امکان یادگیری و تطبیق پذیری مدل، امکان ارزیابی و جستجوی خودکار راه حل از جمله قابلیت‌های این ابزار است. در این مقاله علاوه بر معرفی مدل جامع پیشنهادی امکانات ابزار ساخته شده شرح داده می‌شود. علاوه بر آن با ذکر مثال‌هایی قابلیت‌های انحصاری ابزار مذکور معرفی می‌شود.
متن کامل [PDF 2392 kb]   (117 دریافت)    
نوع مطالعه: پژوهشي | موضوع مقاله: تخصصي
دریافت: 1398/3/29 | پذیرش: 1398/8/15 | انتشار: 1399/1/14