Test suite generation methods for concurrent systems based on coloured Petri nets | IEEE Conference Publication | IEEE Xplore