Sim / CPN : A Web-Based Simulator for Coloured Petri Nets