Application of petri nets to communication networks advances in petri nets (Springer, 1999)