Abstract
AbstractIn this paper, Probabilistic Model Checking (PMC) is used to model and analyze the effects of the palytoxin toxin (PTX) in cell transport systems, structures responsible for exchanging ions through the plasma membrane. The correct behavior of these systems is necessary for all animal cells, otherwise the individual could present pathologies. We have developed a model which focuses on potassium and cell energy related reactions, due to the known inhibitory effect of potassium on PTX action and the ATP role in its transportation. We have used PMC to estimate state probabilities and use the Goldman-Hodgkin-Katz equation to measure the induced current created by ion exchange. Our model suggests that as the concentration of external potassium increases, ion exchange occurs against its electrochemical gradient, despite the PTX effect. This suggests that potassium could be used to inhibit PTX action. PMC allowed us to further characterize the system dynamics.KeywordsProbabilistic Model CheckingSystems BiologySodium-Potassium PumpPalytoxinIon Channels Blockers and Openers
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
