Formal verification confirms the role of p53 protein in cell fate decision mechanism

The bio-cell cycle is controlled by a complex biochemical network of signaling pathways. Modeling such challenging networks accurately is imperative for the understanding of their detailed dynamical behavior. In this paper, we construct, analyze, and verify a hybrid Petri net (HPN) model of a comple...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theory in biosciences = Theorie in den Biowissenschaften 2023-02, Vol.142 (1), p.29-45
Hauptverfasser:	Mahmoud, Eman Abdelaziz, Herajy, Mostafa, Ziedan, Ibrahim E., Shehata, Hazem I.
Format:	Artikel
Sprache:	eng
Schlagworte:	Bioinformatics Biology Biomedical and Life Sciences Cell cycle Cell Differentiation Cell fate Complex Systems Computer Simulation Cytoplasm Decision making Evolutionary Biology Ionizing radiation Life Sciences Mathematical and Computational Biology Models, Biological Original Original Article p53 Protein Philosophy of Biology Proteins Signal Transduction Stochasticity Theoretical Ecology/Statistics Tumor Suppressor Protein p53
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!