Modelling communication systems in a resource allocation process using coloured Petri nets. - Chris Janczura; Ian Coat (KES (3), 1998)