Simulation-based identification of optimal combination of drug candidates for spinal muscular atrophy

In the present research, we create deterministic model of SMN production pathway, perform computational validation of underlying pathway by known wet lab observations, and use model checking technique to determine an optimal combination of potential drugs that results in the maximum induction of SMN protein. The simulation results show that SMN concentration can be increased up to 3.84-fold over the control. The current work is conducted in terms of hybrid Petri nets on Snoopy platform. Proposed technique can be easily adapted to other disorders as well.