Predicting behavior and assuring quality of service of complex multimedia systems is very hard. Techniques based on tests, inspections or simulations are not always effective. Conversely, rigorous adoption of formal approaches in entire system lifecycle is very costly, and does not provide evidence about run-time performance. Our research proposes a tool, which allows both formally modeling and simulating a Mobile Ad-hoc NETwork - MANET. Previous paper of same authors discussed the tool effectiveness in simulating the system; the present paper deals with the Petri Nets-based model of MANET behavior, and shows the model usefulness in predicting some interesting computational properties.

A Coloured Nested Petri Nets Model for Discussing MANET Properties

BIANCHI, Alessandro;PIZZUTILO, Sebastiano
2013-01-01

Abstract

Predicting behavior and assuring quality of service of complex multimedia systems is very hard. Techniques based on tests, inspections or simulations are not always effective. Conversely, rigorous adoption of formal approaches in entire system lifecycle is very costly, and does not provide evidence about run-time performance. Our research proposes a tool, which allows both formally modeling and simulating a Mobile Ad-hoc NETwork - MANET. Previous paper of same authors discussed the tool effectiveness in simulating the system; the present paper deals with the Petri Nets-based model of MANET behavior, and shows the model usefulness in predicting some interesting computational properties.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11586/126304
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact