Home // ICN 2017, The Sixteenth International Conference on Networks // View article

Modeling Handover Latency in PMIPv6-based Protocols with Timed Petri Nets

Authors:
Nivia Quental

Keywords: PMIPv6; Timed Petri Nets; Mobility; Modeling.

Abstract:
Performance evaluation of networking protocols is generally related to metrics like latency, signaling overhead, packet loss, throughput, among others. Specifically for latency modeling, most of analytical modeling techniques involve considering the handover latency as a sum of all delays of each signaling message in the handover. However, it may not reflect the reality of various protocols based on Proxy Mobile Internet Protocol version 6 (PMIPv6), which may consider asynchronous and parallel messages. Petri Nets are state-transition systems capable of expressing parallelism, synchronization, and allowing evaluation of properties of the systems modeled. The Timed Petri Net extension can additionally express time elapsing, which makes it a powerful tool for performance evaluation. This paper proposes to employ Timed Petri Nets to model PMIPv6-based protocols, and, therefore, to bring attention to the main advantages of this formalism for performance evaluation.

Pages: 107 to 110

Copyright: Copyright (c) IARIA, 2017

Publication date: April 23, 2017

Published in: conference

ISSN: 2308-4413

ISBN: 978-1-61208-546-3

Location: Venice, Italy

Dates: from April 23, 2017 to April 27, 2017