USING HIGH LEVEL PETRI NETS TO MODEL THE INTER-SESSION NETWORK CODING
O. Al-Aboud, M.J. Al-Laban, Abdollatif Hanano · International Journal of Pure and Apllied Mathematics · 2014
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.