Workflow Model Verification Based on Matrix Transformation