Petri Net Model For Connectivity Maintenance In VANET Clustering-based Routing Algorithm

被引：0
|
作者：
Louazani, Ahmed [1 ]
Sekhri, Larbi [1 ]
机构：
[1] Univ Oran1 Ahmed Benbella, Comp Sci Dept, Ind Comp & Networking Lab, Oran, Algeria
来源：
2016 INTERNATIONAL CONFERENCE ON ADVANCED ASPECTS OF SOFTWARE ENGINEERING (ICAASE) | 2016年
关键词：
Vehicular ad-hoc networks; clustering; connectivity maintenance; cluster stability; Time Petri Nets; TiNA Tool;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Recently, wireless communications technologies have invaded several daily life fields such as Vehicular Ad-hoc Networks (VANETs). VANET networks are characterized by their high mobility. Clustering seems to be as one of the control schemes used to make this global topology less dynamic. In this sight, our paper introduces a clustering mechanism based for connectivity maintenance in VANET AODV-CV. A formal model using time Petri net as a mathematical tool is presented to prove some protocol's properties.
引用
收藏
页码：92 / 97
页数：6
相关论文
共 50 条
  • [21] A Comprehensive Framework for Emergency Message Dissemination in Urban VANET Scenarios: A Comparative Analysis of Clustering-Based Routing Protocols
    Kaur, Ravneet
    Singla, Chaitanya
    Singh, Harpal
    Bhardwaj, Rajat
    Sharma, Preeti
    Aggarwal, Ambika
    Alsekait, Deema Mohammed
    Abd Elminaam, Diaa Salama
    IEEE ACCESS, 2024, 12 : 174284 - 174296
  • [22] A Connectivity-Prediction-Based Dynamic Clustering Model for VANET in an Urban Scene
    Cheng, Jiujun
    Yuan, Guiyuan
    Zhou, MengChu
    Gao, Shangce
    Huang, Zhenhua
    Liu, Cong
    IEEE INTERNET OF THINGS JOURNAL, 2020, 7 (09) : 8410 - 8418
  • [23] Efficient Clustering based OLSR Routing Protocol for VANET
    Mehra, Ruchi
    Bali, Rasmeet S.
    Kaur, Prabhsharan
    2016 SYMPOSIUM ON COLOSSAL DATA ANALYSIS AND NETWORKING (CDAN), 2016,
  • [24] A TRUST BASED CLUSTERING WITH ANT COLONY ROUTING IN VANET
    Sahoo, Rashmi Ranjan
    Panda, Rameswar
    Behera, Dhiren Kumar
    Naskar, Mrinal Kanti
    2012 THIRD INTERNATIONAL CONFERENCE ON COMPUTING COMMUNICATION & NETWORKING TECHNOLOGIES (ICCCNT), 2012,
  • [25] A Petri net model of aircraft maintenance scheduling
    Prescott, D. R.
    ADVANCES IN SAFETY, RELIABILITY AND RISK MANAGEMENT, 2012, : 782 - 789
  • [26] A Petri net model for railway bridge maintenance
    Le, Bryant
    Andrews, John
    Fecarotti, Claudia
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2017, 231 (03) : 306 - 323
  • [27] VANET Clustering Based Routing Protocol Suitable for Deserts
    Nasr, Mohammed Mohsen Mohammed
    Abdelgader, Abdeldime Mohamed Salih
    Wang, Zhi-Gong
    Shen, Lian-Feng
    SENSORS, 2016, 16 (04):
  • [28] A routing algorithm for VANET Based on Geographic Location
    Chao, Chen
    2011 INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND CONTROL (ICECC), 2011, : 2483 - 2487
  • [29] A Petri-net-Based model of equipment virtual maintenance process
    Liu, YL
    Xu, ZC
    FOURTH INTERNATIONAL CONFERENCE ON VIRTUAL REALITY AND ITS APPLICATIONS IN INDUSTRY, 2004, 5444 : 527 - 530
  • [30] Workflow model of equipment maintenance support based on Petri-net
    Chen Le
    Feng Hui-juan
    Yu Yong-li
    Zhang Liu
    Nie Cheng-long
    2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 931 - 934
12345