Coloured Petri net simulator: a generic tool for production planning | IEEE Conference Publication | IEEE Xplore