“…A large number of research work has been developed for synthesis of composite services to address service composition issue by using formal methods such as process algebras (see, e.g, [3], [4]), automata (see, e.g, [5], [6]) or Petri Net (see, e.g, [7], [8]). For example, in [3], the authors present a BP-calculus, a π-like calculus and define specific equivalence relations.…”