Correctness Verification of synchronization based workflow model