تحلیل و شبیه سازی مدل همروندی در شبکه ی پتری زمان بندی شده
سال انتشار: 1401
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 143
فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CECCONF18_055
تاریخ نمایه سازی: 27 اسفند 1401
چکیده مقاله:
نقش شبکه های پتری زمان بندی شده ۱ نوع خاصی از شبکه های پتری می باشند که نسبت به نسخه ی اولیه ی دارای انعطافو قدرت بیشتری می باشند. شبکه های پتری ابزار قدرتمندی برای مدل سازی همروندی هستند. در حالت زمانبندی شده ی این شبکه هاعامل زمان نیز به مدل سازی اضافه می شود. به این صورت که یک گذار بعد از فعال شدن، با یک تاخیر زمانی قابلیت اجرا دارد. این شبکهها کمک می کنند تا سیستم های هم روند به طور واقع بینانه تری مدل سازی شوند. همواره اصل زمان و تاخیر در پردازش ها، یک عنصرتفکیک ناپذیر در سیستم های کامپیوتری می باشد. همچنین با استفاده از پشتوانه ی ریاضی قدرتمندی که این شبکه ها دارا هستند،امکان درستی یابی و ارزیابی سیستم ها در یک محیط منطقی وجود دارد. این عقبه ی ریاضیاتی کمک می کند تا بتوان به وسیله ی آن،ویژگی های اصلی یک سیستم منطقی را به صورت موجودیت های ریاضیاتی بیان کرد و با استفاده از دانش گسترده ی ریاضیات، امکانرسیدن به نتایج کاربردی – مثل امن بودن سیستم یا عدم آن یا جلوگیری از قحطی زدگی در سیستم های همروند – را تسریع بخشید.
کلیدواژه ها:
نویسندگان
جعفر غلام زاده
مهندسی کامپیوتر- دانشگاه صنعتی شریف- تهران- ایران
علی موقر
مهندسی کامپیوتر- دانشگاه صنعتی شریف- تهران- ایران