Workflow modeling rationality validation algorithm based on Petri-net