![](/images/graphics-bg.png)
Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN
المؤلفون المشاركون
Khan, Sher Afzal
Akhtar Khan, Naeem
Ahmad, Farooq
المصدر
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-9، 9ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-08-31
دولة النشر
مصر
عدد الصفحات
9
التخصصات الرئيسية
الملخص EN
The wireless mesh network (WMN) is an emerging and cost-effective alternative paradigm for the next generation wireless networks in many diverse applications.
In the performance evaluation of routing protocol for the WMN, it is essential that it should be evaluated under realistic conditions.
The usefulness of specific mobility protocol can be determined by selection of mobility model.
This paper introduces a coloured Petri nets (CP-nets) based formal model for implementation, simulation, and analysis of most widely used random waypoint (RWP) mobility model for WMNs.
The formal semantics of hierarchical timed CP-nets allow us to investigate the terminating behavior of the transitions using state space analysis techniques.
The proposed implementation improves the RWP mobility model by removing the “border effect” and resolves the “speed decay” problem.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Akhtar Khan, Naeem& Ahmad, Farooq& Khan, Sher Afzal. 2014. Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN. Abstract and Applied Analysis،Vol. 2014, no. 2014, pp.1-9.
https://search.emarefa.net/detail/BIM-1014808
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Akhtar Khan, Naeem…[et al.]. Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN. Abstract and Applied Analysis No. 2014 (2014), pp.1-9.
https://search.emarefa.net/detail/BIM-1014808
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Akhtar Khan, Naeem& Ahmad, Farooq& Khan, Sher Afzal. Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN. Abstract and Applied Analysis. 2014. Vol. 2014, no. 2014, pp.1-9.
https://search.emarefa.net/detail/BIM-1014808
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1014808
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)