Traffic transfer processes simulation in computing nwtworks

We consider an approach to simulation of local area computing networks. The approach uses colored Petri networks with time mechanism and queues. We offer the notion of role functionals and define operations on them. We also provide an example of Petri net design for the fragment of a local area network and suggest the general algorithm of simulation run.