مدل سازي مسئله تشخيص و اجتناب از بن بست در سيستم¬هاي عامل با استفاده از شبكه پتري

يكي از موضوع¬هاي مهم و حياتي در سيستم‌هاي كامپيوتري مسئله تشخيص بن بست و اجتناب از آن است. مدل‌سازي مي¬تواند به منظور درك و شناخت بهتري از اين مسئله مورد استفاده قرار گيرد. ابزارهاي متفاوتي براي مدل سازي و نمايش گرافيكي سيستم¬ها وجود دارد. يكي از اين ابزارها شبكه¬هاي پتري است. شبكه‌¬ي پتري جهت توصيف رسمي جريان فعاليت¬ها در سيستم¬هاي پيچيده بكار مي¬رود كه يك نمايش واضح و گرافيكي از سيستم ايجاد و باعث قابل فهم تر شدن مسئله مي‌شود. از شبكه‌هاي پتري مي‌توان براي مدل‌سازي توصيف و تحليل سيستم‌هايي كه ماهيتي هم‌زمان، توزيع‌شده، موازي و يا اتفاقي دارند استفاده كرد. در اين مقاله مدل‌سازي مسئله تشخيص بن‌بست و اجتناب از آن در تخصيص منابع به فرآيندها با استفاده از شبكه‌هاي پتري به منظور درك و شناخت بهتري از مسئله انجام مي¬گيرد.