Application Of Petri Nets To Communication Networks by Grzegorz Rozenberg & Jonathan Billington