|
Title:
|
A SYNCHRONOUS MODEL FOR VEHICULAR AD-HOC NETWORKS: A PRELIMINARY STUDY |
|
Author(s):
|
Alessandro Bianchi , Sebastiano Pizzutilo |
|
ISBN:
|
978-972-8924-40-9 |
|
Editors:
|
Jörg Roth, Jairo Gutiérrez and Ajith P. Abraham (series editors: Piet Kommers, Pedro Isaías and Nian-Shing Chen) |
|
Year:
|
2007 |
|
Edition:
|
Single |
|
Keywords:
|
Mobile Ad-hoc NETworks; Routing protocols; Petri Nets; Modeling MANET. |
|
Type:
|
Full Paper |
|
First Page:
|
3 |
|
Last Page:
|
10 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
The problem of communication among mobile devices could be studied making use of dynamic models, in which each mobile agent cooperates over wireless channels, dynamically establishing and maintaining routing to other nodes without any fixed network infrastructure. This is the approach adopted by Mobile Ad-Hoc NETworks (MANETs). Because of the complexity of the whole system, in order to study these networks, tools based on formal models are required. This paper reports on our experience about a tool for modeling mobile networks, based on the Petri Nets formalism. The novelty of the approach is that the synchronization for the evolution of the entire system is established by an internal clock, indirectly given by its internal computational activities. The preliminary results of the study show the effectiveness of the tool, in that they confirm the findings of other tools presented in literature. |
|
|
|
|
|
|
