Application of Petri nets to communication networks : advances in Petri nets - Billington, Jonathan.; Diaz, Michel, 1945-; Rozenberg, Grzegorz, (Springer, 1999)