Modeling and Analysis of Workflows Using Petri Nets