153 related articles for article (PubMed ID: 36510032)
1. Formal verification confirms the role of p53 protein in cell fate decision mechanism.
Mahmoud EA; Herajy M; Ziedan IE; Shehata HI
Theory Biosci; 2023 Feb; 142(1):29-45. PubMed ID: 36510032
[TBL] [Abstract][Full Text] [Related]
2. Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension.
Li C; Nagasaki M; Ueno K; Miyano S
BMC Syst Biol; 2009 Apr; 3():42. PubMed ID: 19393101
[TBL] [Abstract][Full Text] [Related]
3. Constructing biological pathway models with hybrid functional petri nets.
Doi A; Fujita S; Matsuno H; Nagasaki M; Miyano S
Stud Health Technol Inform; 2011; 162():92-112. PubMed ID: 21685566
[TBL] [Abstract][Full Text] [Related]
4. Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension.
Li C; Nagasaki M; Koh CH; Miyano S
Mol Biosyst; 2011 May; 7(5):1576-92. PubMed ID: 21373654
[TBL] [Abstract][Full Text] [Related]
5. Quantitative petri net model of gene regulated metabolic networks in the cell.
Chen M; Hofestädt R
Stud Health Technol Inform; 2011; 162():38-55. PubMed ID: 21685563
[TBL] [Abstract][Full Text] [Related]
6. Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking.
Gilbert D; Heiner M; Ghanbar L; Chodak J
BMC Bioinformatics; 2019 Apr; 20(Suppl 4):173. PubMed ID: 30999841
[TBL] [Abstract][Full Text] [Related]
7. Towards abstraction of computational modelling of mammalian cell cycle: Model reduction pipeline incorporating multi-level hybrid petri nets.
Abroudi A; Samarasinghe S; Kulasiri D
J Theor Biol; 2020 Jul; 496():110212. PubMed ID: 32142804
[TBL] [Abstract][Full Text] [Related]
8. Stochasticity of intranuclear biochemical reaction processes controls the final decision of cell fate associated with DNA damage.
Iwamoto K; Hamada H; Eguchi Y; Okamoto M
PLoS One; 2014; 9(7):e101333. PubMed ID: 25003668
[TBL] [Abstract][Full Text] [Related]
9. Simulation-based validation of the p53 transcriptional activity with hybrid functional petri net.
Doi A; Nagasaki M; Matsuno H; Miyano S
In Silico Biol; 2006; 6(1-2):1-13. PubMed ID: 16789909
[TBL] [Abstract][Full Text] [Related]
10. A versatile petri net based architecture for modeling and simulation of complex biological processes.
Nagasaki M; Doi A; Matsuno H; Miyano S
Genome Inform; 2004; 15(1):180-97. PubMed ID: 15712121
[TBL] [Abstract][Full Text] [Related]
11. Modularization of biochemical networks based on classification of Petri net t-invariants.
Grafahrend-Belau E; Schreiber F; Heiner M; Sackmann A; Junker BH; Grunwald S; Speer A; Winder K; Koch I
BMC Bioinformatics; 2008 Feb; 9():90. PubMed ID: 18257938
[TBL] [Abstract][Full Text] [Related]
12. Cell fate decision mediated by p53 pulses.
Zhang XP; Liu F; Cheng Z; Wang W
Proc Natl Acad Sci U S A; 2009 Jul; 106(30):12245-50. PubMed ID: 19617533
[TBL] [Abstract][Full Text] [Related]
13. Quantitative Petri net model of gene regulated metabolic networks in the cell.
Chen M; Hofestädt R
In Silico Biol; 2003; 3(3):347-65. PubMed ID: 12954095
[TBL] [Abstract][Full Text] [Related]
14. Elucidating the Implications of Diverse Dynamical Responses in p53 Protein.
Charan K; Giri A; Kar S
Chemphyschem; 2023 Feb; 24(4):e202200537. PubMed ID: 36208026
[TBL] [Abstract][Full Text] [Related]
15. Simulation-Based Validation of the p53 Transcriptional Activity with Hybrid Functional Petri Net.
Doi A; Nagasaki M; Matsuno H; Miyano S
Stud Health Technol Inform; 2011; 162():130-42. PubMed ID: 21685569
[TBL] [Abstract][Full Text] [Related]
16. VANESA: An open-source hybrid functional Petri net modeling and simulation environment in systems biology.
Brinkrolf C; Ochel L; Hofestädt R
Biosystems; 2021 Dec; 210():104531. PubMed ID: 34492317
[TBL] [Abstract][Full Text] [Related]
17. Modeling and simulation of molecular biology systems using petri nets: modeling goals of various approaches.
Hardy S; Robillard PN
J Bioinform Comput Biol; 2004 Dec; 2(4):595-613. PubMed ID: 15617157
[TBL] [Abstract][Full Text] [Related]
18. Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks.
Herajy M; Liu F; Rohr C; Heiner M
Comput Biol Chem; 2018 Oct; 76():87-100. PubMed ID: 29982167
[TBL] [Abstract][Full Text] [Related]
19. Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation.
Razzaq M; Ahmad J
PLoS One; 2015; 10(12):e0145690. PubMed ID: 26713449
[TBL] [Abstract][Full Text] [Related]
20. Cell fate simulation model of gustatory neurons with MicroRNAs double-negative feedback loop by hybrid functional Petri net with extension.
Saito A; Nagasaki M; Doi A; Ueno K; Miyano S
Genome Inform; 2006; 17(1):100-11. PubMed ID: 17503360
[TBL] [Abstract][Full Text] [Related]
[Next] [New Search]