Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search