How to determine and use place flows in coloured Petri nets | IEEE Conference Publication | IEEE Xplore