تحلیل و شبیه سازی مدل همروندی در شبکه ی پتری زمان بندی شده

چکیده مقاله

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

کلیدواژه‌ها

نویسندگان

جعفر غلام زاده

مهندسی کامپیوتر دانشگاه صنعتی شریف تهران ایران

علی موقر

مهندسی کامپیوتر دانشگاه صنعتی شریف تهران ایران

�لام زاده، جعفر و موقر، علی،1401،تحلیل و شبیه سازی مدل همروندی در شبکه ی پتری زمان بندی شده،هجدهمین کنفرانس ملی علوم و مهندسی کامپیوتر و فناوری اطلاعات،بابل

ارائه‌شده در

مجموعه مقالات هجدهمین کنفرانس ملی علوم و مهندسی کامپیوتر و فناوری اطلاعات4 اسفند 1401 · بابل