On the Bus Priority Dilemma: Modelling and Analysis of Congested Traffic Network using Coloured Petri Nets and (Min, +) Algebra.