These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.
18. Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Batt G; Ropers D; de Jong H; Geiselmann J; Mateescu R; Page M; Schneider D Bioinformatics; 2005 Jun; 21 Suppl 1():i19-28. PubMed ID: 15961457 [TBL] [Abstract][Full Text] [Related]
19. Petri nets in Snoopy: a unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks. Marwan W; Rohr C; Heiner M Methods Mol Biol; 2012; 804():409-37. PubMed ID: 22144165 [TBL] [Abstract][Full Text] [Related]
20. Modelling gene and protein regulatory networks with answer set programming. Fayruzov T; Janssen J; Vermeir D; Cornelis C; De Cock M Int J Data Min Bioinform; 2011; 5(2):209-29. PubMed ID: 21544955 [TBL] [Abstract][Full Text] [Related] [Next] [New Search]