Application of Petri Nets to Communication Networks