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