Cargando…

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...

Descripción completa

Detalles Bibliográficos
Autores principales: Mahmoud, Eman Abdelaziz, Herajy, Mostafa, Ziedan, Ibrahim E., Shehata, Hazem I.
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Berlin Heidelberg 2022
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9925526/
https://www.ncbi.nlm.nih.gov/pubmed/36510032
http://dx.doi.org/10.1007/s12064-022-00381-x