Email Record: Application of Petri nets to communication networks :