Application of Petri nets to communication networks : advances in Petri nets - Billington, Jonathan. (Springer, 1999)