Towards Formalizing Transition Membrane systems to Turing Model