title: Probabilistic model checking analysis of palytoxin effects on cell energy reactions of the Na+/K+-ATPase.
abstract: Probabilistic model checking (PMC) is a technique used for the specification and analysis of complex systems. It can be applied directly to biological systems which present these characteristics, including cell transport systems. These systems are structures responsible for exchanging ions through the plasma membrane. Their correct behavior is essential for animal cells, since changes on those are responsible for diseases. In this work, PMC is used to model and analyze the effects of the palytoxin toxin (PTX) interactions with one of these systems. Our model suggests that ATP could inhibit PTX action. Therefore, individuals with ATP deficiencies, such as in brain disorders, may be more susceptible to the toxin. We have also used heat maps to enhance the kinetic model, which is used to describe the system reactions. The map reveals unexpected situations, such as a frequent reaction between unlikely pump states, and hot spots such as likely states and reactions. This type of analysis provides a better understanding on how transmembrane ionic transport systems behave and may lead to the discovery and development of new drugs to treat diseases associated to their incorrect behavior.
authors.affiliation: Universidade Federal de Minas Gerais, Belo Horizonte.
authors.forename: Fernando A F
authors.initials: FA
authors.lastname: Braz
authors.affiliation: Universidade Federal de Minas Gerais, Belo Horizonte.
authors.forename: Jader S
authors.initials: JS
authors.lastname: Cruz
authors.affiliation: Universidade Federal de Minas Gerais, Belo Horizonte.
authors.forename: Alessandra C
authors.initials: AC
authors.lastname: Faria-Campos
authors.affiliation: Universidade Federal de Minas Gerais, Belo Horizonte.
authors.forename: Sérgio V A
authors.initials: SV
authors.lastname: Campos
mesh_terms: D000178:Acrylamides / Q000737:chemistry*; D000255:Adenosine Triphosphate / Q000737:chemistry; D000465:Algorithms; D000818:Animals; D002462:Cell Membrane / Q000378:metabolism; D003064:Cnidarian Venoms; D019295:Computational Biology / Q000379:methods*; D007477:Ions; D007700:Kinetics; D008024:Ligands; D008390:Markov Chains; D015233:Models, Statistical; D000254:Sodium-Potassium-Exchanging ATPase / Q000737:chemistry*; D012984:Software; D013269:Stochastic Processes; D049490:Systems Biology; D000095702:Polyether Toxins
chemical_list: D000178:Acrylamides; D000255:Adenosine Triphosphate; D003064:Cnidarian Venoms; D007477:Ions; D008024:Ligands; D000254:Sodium-Potassium-Exchanging ATPase; C010272:palytoxin; D000095702:Polyether Toxins