Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6901699 | Procedia Computer Science | 2017 | 7 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science (General)
Authors
Recep Duranay, Rza Bashirov, Adil ÅeytanoÄlu,