Verifying web services composition based on hierarchical colored petri nets