این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
محاسبات نرم، جلد ۷، شماره ۱، صفحات ۲-۲۳
عنوان فارسی ارائه یک ابزار مبتنی بر شبکه پتری بمنظور تحلیل و شبیه سازی سیستم‌های کامپیوتری
چکیده فارسی مقاله شبکه پتری بدلیل داشتن تنوع و قابلیت‌های متعدد یکی از پرکاربردترین روش‌های مدل‌سازی و ارزیابی سیستم‌های هم‌روند و مبتنی بر رخداد است. با توجه به تنوع کاربرد و وجود انواع مختلف شبکه پتری ابزارهای مختلفی جهت مدل‌سازی، شبیه‌سازی و تحلیل شبکه‌های پتری عرضه شده است. هر یک از این ابزارها بخشی از قابلیت‌های مورد نیاز برای تحلیل و ارزیابی سیستم‌ها را فراهم می‌کنند. در کار حاضر ابزاری برای مدل‌سازی و ارزیابی بر اساس شبکه پتری فراهم شده است که علاوه بر پشتیبانی از انواع مختلف شبکه پتری، برخی از قابلیت‌هایی که در سایر ابزارها کمتر مورد توجه قرار گرفته را فراهم می‌کند. امکان تولید خودکار مدل، امکان تحلیل حالت پایدار انواع شبکه پتری ازجمله شبکه پتری زمان ثابت، تغییر ساختار مدل در حین اجرا، امکان یادگیری و تطبیق پذیری مدل، امکان ارزیابی و جستجوی خودکار راه حل از جمله قابلیت‌های این ابزار است. در این مقاله علاوه بر معرفی مدل جامع پیشنهادی امکانات ابزار ساخته شده شرح داده می‌شود. علاوه بر آن با ذکر مثال‌هایی قابلیت‌های انحصاری ابزار مذکور معرفی می‌شود.
کلیدواژه‌های فارسی مقاله مدل‌سازی،شبکه پتری،تحلیل حالت پایدار،شبیه‌سازی،ارزیابی کارایی
عنوان انگلیسی 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.
کلیدواژه‌های انگلیسی مقاله
نویسندگان مقاله حسین صباغیان بیدگلی | Hossein Sabaghian-Bidgoli
University of KashanFaculty of Electrical and Computer EngineeringDepartment of Computer Engineering
دانشگاه کاشاندانشکده مهندسی برق و کامپیوترگروه مهندسی کامپیوتر

نشانی اینترنتی http://scj.kashanu.ac.ir/browse.php?a_code=A-10-175-1&slc_lang=fa&sid=1
فایل مقاله اشکال در دسترسی به فایل - ./files/site1/rds_journals/1052/article-1052-2360822.pdf
کد مقاله (doi)
زبان مقاله منتشر شده fa
موضوعات مقاله منتشر شده تخصصی
نوع مقاله منتشر شده پژوهشی
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات