Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension

BACKGROUND: Model checking approaches were applied to biological pathway validations around 2003. Recently, Fisher et al. have proved the importance of model checking approach by inferring new regulation of signaling crosstalk in C. elegans and confirming the regulation with biological experiments....

Descripción completa

Detalles Bibliográficos
Autores principales: Li, Chen, Nagasaki, Masao, Ueno, Kazuko, Miyano, Satoru
Formato: Texto
Lenguaje:English
Publicado: BioMed Central 2009
Materias:
Research Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2691733/
https://www.ncbi.nlm.nih.gov/pubmed/19393101
http://dx.doi.org/10.1186/1752-0509-3-42

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2691733/
https://www.ncbi.nlm.nih.gov/pubmed/19393101
http://dx.doi.org/10.1186/1752-0509-3-42

Ejemplares similares