“…[6].The authors have evidently represented of iteration, concurrency, ordering, hierarchy, causality, timing, synchrony, non-determinism based on the modeling concepts of Petri nets. [7]. In another paper the authors have shown how to be synthesized music scores by executing formal models.…”