Application of Petri Nets to Communication Networks : Advances in Petri Nets - Jonathan Billington, Michel Diaz, Grzegorz Rozenberg ((Lecture Notes in Computer Science))