“…For most applications, this speculation of customary Colored Petri Nets permits the client to make more sensible depictions, because of the way that equivalent sub Nets can be collapsed into one another, yielding a much littler Net. For reasons unknown spot invariants and achieve capacity trees, noteworthy techniques for standard CPNs, can be summed up to pertain for Colored Petri Nets [18].Colored Petri Nets and Predicate/transition-Nets are very intently linked, in the way that Colored Petri Nets have been established as an alteration of Predicate/transition-Nets, in order to avoid some practical troubles which rise when the technique of place-invariants is general to apply for Predicate [18].Colored Petri Net concept delivers potent analysis techniques used to verify the accuracy of workflow procedures. Acceptance of a model-driven approach, joined through comprehensive verification methods can make available a key solution for making qualitative and quantitative calculations about the possible system behaviors [18,19].…”