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

Autore Pugliese

• Bianchi Alessandro , Pizzutilo Sebastiano

Tutti gli autori

• BIANCHI A.;PIZZUTILO S.

Titolo volume/Rivista

Non Disponibile

Anno di pubblicazione

2010

ISSN

Non Disponibile

ISBN

978-972-8939-19-9

Numero di citazioni Wos

Nessuna citazione

Ultimo Aggiornamento Citazioni

Non Disponibile

Numero di citazioni Scopus

Non Disponibile

Ultimo Aggiornamento Citazioni

Non Disponibile

Settori ERC

Non Disponibile

Codici ASJC

Non Disponibile