Modeling and verifying asynchronous communication mechanisms using coloured Petri nets