طراحی مدل فلاسفه فاقد بن بست با استفاده از Coloured Petri net

مسئله فلاسفه در ناهارخوری (dining philosophers) یک مثال کلاسیک سیستم های همروند است. پنج فیلسوف دور یک میز نشسته اند، یا در حال تفکر و مباحثه هستند، یا آنکه در حال غذا خوردن هستند. هر کدام یک ظرف اسپاگتی دارند و باید دو چنگال برای خوردن آن داسته باشند. تعداد چنگال های پنج تا است که ما بین فلاسفه قرار دارند، هر فیلسوف باید به صورت متناوب فکر کند و بخورد. با این حال، یک فیلسوف فقط زمانی می تواند اسپاگتی بخورد که هر دو چنگال سمت چپ و سمت راست را در اختیار داشته باشد. هر چنگال در هر لحظه فقط می تواند توسط یک فیلسوف استفاده شود و بنابراین، یک فیلسوف فقط زمانی می تواند چنگال استفاده کند که چنگال توسط فیلسوف دیگر در حال استفاده نباشد. بعد از این که یک فیلسوف خوردنش تمام شد، باید هر دوچنگال را روی میز بگذارد تا بقیه از آن ها استفاده کنند. اگر یک فیلسوف خاص به دلیل مشکل زمانبندی قادر نباشد تا هر دو چنگال را به دست آورد ممکن است قحطی منبع بصورت مستقل از بن بست نیز رخ دهد. ما در این مقاله سعی کردیم مدلی بسازیم که اگر فلاسفه نتواند هر دو چنگال را بدست بیاورد، چنگال برداشته شده را بر روی میز قرار دهد و مسئله بن بست حل می شود.

Keywords:

شبکه بتری , شبیه سازی , متناوب , سیستم های همروند , بین بست , چنگال