سال انتشار: ۱۳۹۰

محل انتشار: همایش ملی کامپیوتر و فناوری اطلاعات

تعداد صفحات: ۸

نویسنده(ها):

طاهره خسروی – گروه کامپیوتر دانشگاه آزاد اسلامی واحد آزادشهر
مینا رهبری – گروه کامپیوتر دانشکده فنی حرفه ای سما واحد خوراسگان اصفهان
سپیده ابراهیم پور – دانشگاه آزاد اسلامی واحد فیروزکوه

چکیده:

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