Thesis:Formal Frame Work for the Analysis of Biological Regulatory Networks Using Promela