Performance analysis of processes by automated simulation of Coloured Petri nets | IEEE Conference Publication | IEEE Xplore