Cargando…
Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram
BACKGROUND: With an accumulation of in silico data obtained by simulating large-scale biological networks, a new interest of research is emerging for elucidating how living organism functions over time in cells. Investigating the dynamic features of current computational models promises a deeper und...
Autores principales: | Li, Chen, Nagasaki, Masao, Saito, Ayumu, Miyano, Satoru |
---|---|
Formato: | Texto |
Lenguaje: | English |
Publicado: |
BioMed Central
2010
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2855528/ https://www.ncbi.nlm.nih.gov/pubmed/20356411 http://dx.doi.org/10.1186/1752-0509-4-39 |
Ejemplares similares
-
Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension
por: Li, Chen, et al.
Publicado: (2009) -
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams
por: Schwarick, Martin, et al.
Publicado: (2020) -
A Web Interface for Petri Nets with Transits and Petri Games
por: Gieseking, Manuel, et al.
Publicado: (2021) -
Timed petri nets: theory and application
por: Ho, Yu-Chi, et al.
Publicado: (1998) -
Coloured Petri nets
por: Jensen, Kurt
Publicado: (1992)