USING HIGH LEVEL PETRI NETS TO MODEL THE INTER-SESSION NETWORK CODING

O Al-Aboud,A.A Hanano,M.J Al-Laban

doi:10.12732/ijpam.v93i1.5

Abstract

In this paper, we model an acyclic communication network as a net graph, and we use this net graph to define inter session-network coding as high level Petri graph. We then model inter-session network coding as a set of streaming high level Petri net graphs. Finally, we find a particular binding for the variables sets of these streaming high level Petri graphs in such a way the sink places in the net graph which models the acyclic communication network can be marked with the requested marking. AMS Subject Classification: 94A99

Highlights

The theory of network coding for a single multicast session is well studied by Ahlswede et al [1], Follow-up works include [2], which shows that linear network coding is sufficient for a single multicast session
We model intersession network coding as a set of streaming high level Petri graphs (SHLPNG)
We find a particular binding for the variables sets of these streaming high level Petri graphs in such a way sink places in the net graph which models the acyclic communication network can be marked with the requested marking

Summary

Introduction

The theory of network coding for a single multicast session (intra-session network coding) is well studied by Ahlswede et al [1], Follow-up works include [2], which shows that linear network coding is sufficient for a single multicast session. We model intersession network coding as a set of streaming high level Petri graphs (SHLPNG). We find a particular binding for the variables sets of these streaming high level Petri graphs in such a way sink places in the net graph which models the acyclic communication network can be marked with the requested marking. Our work is based on high level Petri nets [11], which were chosen due to their well-accepted capability of expressing concurrency, non-determinism and reactive behavior, the wide range of simulation and analysis tools for Petri nets can be exploited for the evaluation of models and the verification of crucial system properties [12].The rest of this article is organized as follows, we will start with a notational description of the inter-session network coding problem and the high level Petri net.

System Setting

Petri Nets

Algorithm