基于VANET聚类路由算法中连通性维护的Petri网模型

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI:10.1109/ICAASE.2016.7843864

Ahmed Louazani, L. Sekhri

{"title":"基于VANET聚类路由算法中连通性维护的Petri网模型","authors":"Ahmed Louazani, L. Sekhri","doi":"10.1109/ICAASE.2016.7843864","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":407176,"journal":{"name":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","volume":"401 ","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Petri net model for connectivity maintenance in VANET clustering-based routing algorithm\",\"authors\":\"Ahmed Louazani, L. Sekhri\",\"doi\":\"10.1109/ICAASE.2016.7843864\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":407176,\"journal\":{\"name\":\"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)\",\"volume\":\"401 \",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICAASE.2016.7843864\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICAASE.2016.7843864","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

近年来，无线通信技术已经侵入了车载自组织网络(vanet)等日常生活的多个领域。VANET网络的特点是机动性高。聚类似乎是用来降低全局拓扑动态的一种控制方案。为此，本文在VANET AODV-CV中引入了一种基于集群的连接维护机制。提出了一个使用时间Petri网作为数学工具的形式化模型来证明协议的一些性质。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Petri net model for connectivity maintenance in VANET clustering-based routing algorithm

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)

自引率

0.00%

发文量