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

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

Keywords:

همروندی , شبکه های پتری , زمان بندی شبکه , حالت گذار در شبکه , Petri-Net