IJPAM: Volume 93, No. 1 (2014)

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

O. Al-Aboud$^1$, M.J. Al-Laban$^2$, A.A. Hanano$^3$
$^{1,2,3}$Department of Mathematics
Faculty of Science
Damascus University
Damascus, SYRIA


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.

Received: September 27, 2013

AMS Subject Classification: 94A99

Key Words and Phrases: intersession network coding, high level Petri nets, acyclic communication network

Download paper from here.



DOI: 10.12732/ijpam.v93i1.5 How to cite this paper?

Source: International Journal of Pure and Applied Mathematics
ISSN printed version: 1311-8080
ISSN on-line version: 1314-3395
Year: 2014
Volume: 93
Issue: 1
Pages: 45 -

CC BY This work is licensed under the Creative Commons Attribution International License (CC BY).