Simulating Computer Networks by colored Petri Nets
A Petri net is a powerful tool for verification of networking protocols and performance evaluation of networks. A Petri net represents a directed bipartite graph, whose sets of vertexes are called places and transitions, supplied with dynamic elements ...