مدل سازی مسیله تشخیص و اجتناب از بن بست در سیستمهای عامل با استفاده ازشبکه پتری

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

Keywords:

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