Text this: Application of Petri Nets to Communication Networks