分阶段多通道MAC协议。正式规范和分析

2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems Pub Date : 2012-08-07 DOI:10.1109/MASCOTS.2012.73

A. Fatni, G. Juanole

{"title":"分阶段多通道MAC协议。正式规范和分析","authors":"A. Fatni, G. Juanole","doi":"10.1109/MASCOTS.2012.73","DOIUrl":null,"url":null,"abstract":"The efficiency of multi-channel MAC protocols depends on the channel assignment mechanism which must coordinate the channel usage in a better way. Several multi-channel MAC approaches have been proposed in the literature. In this paper we propose a formal modelling and analysis of the multi-channel MAC protocols based on the Split Phase (SP) approach using Stochastic Timed Petri Nets (STPN). We analyze the fundamental properties of this approach.","PeriodicalId":278764,"journal":{"name":"2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"59 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Split Phase Multi-channel MAC Protocols - Formal Specification and Analysis\",\"authors\":\"A. Fatni, G. Juanole\",\"doi\":\"10.1109/MASCOTS.2012.73\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The efficiency of multi-channel MAC protocols depends on the channel assignment mechanism which must coordinate the channel usage in a better way. Several multi-channel MAC approaches have been proposed in the literature. In this paper we propose a formal modelling and analysis of the multi-channel MAC protocols based on the Split Phase (SP) approach using Stochastic Timed Petri Nets (STPN). We analyze the fundamental properties of this approach.\",\"PeriodicalId\":278764,\"journal\":{\"name\":\"2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems\",\"volume\":\"59 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-08-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MASCOTS.2012.73\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MASCOTS.2012.73","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

多通道MAC协议的效率取决于信道分配机制，而信道分配机制必须更好地协调信道的使用。文献中提出了几种多通道MAC方法。在本文中，我们提出了一种基于分相(SP)方法的多通道MAC协议的形式化建模和分析，该方法使用随机定时Petri网(STPN)。我们分析了这种方法的基本性质。

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

查看原文本刊更多论文

Split Phase Multi-channel MAC Protocols - Formal Specification and Analysis

The efficiency of multi-channel MAC protocols depends on the channel assignment mechanism which must coordinate the channel usage in a better way. Several multi-channel MAC approaches have been proposed in the literature. In this paper we propose a formal modelling and analysis of the multi-channel MAC protocols based on the Split Phase (SP) approach using Stochastic Timed Petri Nets (STPN). We analyze the fundamental properties of this approach.

求助全文

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

来源期刊

2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems

自引率

0.00%

发文量