Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
Distribution of the number of citations over years.