Text this: Application of Petri nets to communication networks :