DocumentCode :
2770078
Title :
Studying MANET through a Petri Net-Based Model
Author :
Bianchi, Alessandro ; Pizzutilo, Sebastiano
Author_Institution :
Dept. of Inf., Univ. of Bari, Bari, Italy
fYear :
2010
fDate :
20-25 Sept. 2010
Firstpage :
220
Lastpage :
225
Abstract :
Several problems related to communication among Mobile Ad-hoc NETworks (MANETs) devices can be faced making use of formal models. Among these, Petri Nets are particularly suitable for modeling dynamic and transitional systems. The tool DEMONE models the behavior of each host in a MANET through a Petri Nets extension, so that it allows the analysis of some interesting computational activities and the study of performance of the modeled MANET.
Keywords :
Petri nets; ad hoc networks; mobile radio; DEMONE models; MANET; Petri net-based model; formal models; mobile ad-hoc networks; Mobile Ad-hoc NETworks; Petri Nets; formal models; simulation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Evolving Internet (INTERNET), 2010 Second International Conference on
Conference_Location :
Valcencia
ISSN :
2156-7190
Print_ISBN :
978-1-4244-8150-7
Electronic_ISBN :
2156-7190
Type :
conf
DOI :
10.1109/INTERNET.2010.44
Filename :
5616293
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2770078
بازگشت