On the Bus Priority Dilemma: Modelling and Analysis of Congested Traffic Network using Coloured Petri Nets and (Min, +) Algebra. - Hamza Boukhentiche; Abdeljalil Abbas-Turki; Abdellah El Moudni (ICINCO (1), 2012)