Wong, Parkin, Coy, 2007. Integration of the Cimosa and high-level coloured Petri net modelling techniques with application in the postal process using hierarchical dispatching rules 221.. https://doi.org/10.1243/09544054jem511