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