|
Title:
|
ANALYSIS OF PROPERTIES IN A PETRI NETS-BASED MODEL OF MANETS |
|
Author(s):
|
Alessandro Bianchi, Sebastiano Pizzutilo |
|
ISBN:
|
978-972-8939-19-9 |
|
Editors:
|
Hans Weghorn, Jörg Roth and Pedro Isaías |
|
Year:
|
2010 |
|
Edition:
|
Single |
|
Keywords:
|
Mobile Ad-hoc NETworks; Petri Nets; formal models; simulation. |
|
Type:
|
Short Paper |
|
First Page:
|
176 |
|
Last Page:
|
180 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper 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. |
|
|
|
|
|
|
