Study and Analysis of work-flow models using graph theory