Belynda Brahimi, Christophe Aubrun, Eric Rondeau: Modelling and Simulation of Scheduling Policies Implemented in Ethernet Switch by Using Coloured Petri Nets. ETFA 2006: 667-674