{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:28:33Z","timestamp":1761596913263},"reference-count":44,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2004,4,1]],"date-time":"2004-04-01T00:00:00Z","timestamp":1080777600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3406,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2004,4]]},"DOI":"10.1016\/s1571-0661(05)82533-2","type":"journal-article","created":{"date-parts":[[2005,5,19]],"date-time":"2005-05-19T13:46:30Z","timestamp":1116510390000},"page":"144-161","source":"Crossref","is-referenced-by-count":26,"special_numbering":"C","title":["Pathway Logic: Executable Models of Biological Networks"],"prefix":"10.1016","volume":"71","author":[{"given":"Steven","family":"Eker","sequence":"first","affiliation":[]},{"given":"Merrill","family":"Knapp","sequence":"additional","affiliation":[]},{"given":"Keith","family":"Laderoute","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Lincoln","sequence":"additional","affiliation":[]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)82533-2_BIB1","unstructured":"A.P. Arkin, Labs. http:\/\/genomics.lbl.gov\/~aparkin\/."},{"key":"10.1016\/S1571-0661(05)82533-2_BIB2","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1021\/bp010009k","article-title":"A computational study of feedback effects on signal dynamics in a mitogen-activated protein kinase (mapk) pathway model","volume":"17","author":"Asthagiri","year":"2001","journal-title":"Biotechnology Progress"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB3","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1042\/0264-6021:3630537","article-title":"Regulation of novel protein kinase C \u03b5 by phosphorylation","volume":"363","author":"Cenni","year":"2002","journal-title":"Biochem J."},{"key":"10.1016\/S1571-0661(05)82533-2_BIB4","series-title":"2nd International Workshop on Rewriting Logic and Its Applications, WRLA\u203298, volume 15 of Electronic Notes in Theoretical Computer Science","article-title":"Metalevel Computation in Maude","author":"Clavel","year":"1998"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB5","series-title":"2nd International Workshop on Rewriting Logic and Its Applications, WRLA\u203298, volume 15 of Electronic Notes in Theoretical Computer Science","article-title":"Maude as a metalanguage","author":"Clavel","year":"1998"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB6","series-title":"Third International Workshop on Rewriting Logic and Its Applications (WRLA\u203200), Kanazawa, Japan, September 18 \u2014 20, 2000, volume 36 of Electronic Notes in Theoretical Computer Science","article-title":"Towards Maude 2.0","author":"Clavel","year":"2000"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB7","author":"Clavel","year":"2000","journal-title":"A tutorial on Maude"},{"issue":"4","key":"10.1016\/S1571-0661(05)82533-2_BIB8","doi-asserted-by":"crossref","DOI":"10.1186\/gb-2001-2-4-research0012","article-title":"A basis for a visual language for describing, archiving and analyzing functional models of complex biological systems","volume":"2","author":"Cook","year":"2001","journal-title":"Genome Biology"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB9","doi-asserted-by":"crossref","unstructured":"M.W. Covert, B.O. Palsson. Transcriptional regulation in constraints-based metabolic models of Escherichia coli. Journal of Biological Chemistry, 2002. in press.","DOI":"10.1074\/jbc.M201691200"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB10","article-title":"Genetic network analyzer: A tool for qualitative simulation of genetic regulatory networks","author":"de Jong","year":"2001","journal-title":"Technical Report RR 4262, INRIA Rhone-Alpes"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB11","unstructured":"P. Duran. Full Maude 2.0 alpha release notes, 2002."},{"issue":"3","key":"10.1016\/S1571-0661(05)82533-2_BIB12","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1046\/j.1462-2920.2002.00282.x","article-title":"Metabolic modeling of microbes: the flux balance approach","volume":"4","author":"Edwards","year":"2002","journal-title":"Environmental Microbiology"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB13","unstructured":"S. Eker. Maude 2.0 alpha release notes, 2002."},{"key":"10.1016\/S1571-0661(05)82533-2_BIB14","unstructured":"S. Eker, P. Karp, P.D. Lincoln, P. Romero. From bugs to BDDs: Diet planning for E. coli. draft of work in progress."},{"key":"10.1016\/S1571-0661(05)82533-2_BIB15","unstructured":"S. Eker, J. Meseguer, A. Sridharanarayanan. The Maude LTL model checker. this volume, 2002."},{"key":"10.1016\/S1571-0661(05)82533-2_BIB16","series-title":"Pacific Symposium on Biocomputing","first-page":"400","article-title":"Pathway logic: Symbolic analysis of biological signaling","author":"Eker","year":"2002"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB17","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1038\/35053181","article-title":"Modelling cellular behaviour","volume":"409","author":"Endy","year":"2001","journal-title":"Nature"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB18","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1016\/S0092-8674(00)80785-0","article-title":"Diverse signaling pathways activated by growth factor receptors induce broadly overlapping, rather than independent, sets of genes","volume":"97","author":"Fambrough","year":"1999","journal-title":"Cell"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB19","series-title":"Hybrid Systems: Computation and Control HSCC\u203201, volume 2034 of LNCS","first-page":"232","article-title":"Lateral inhibition through Delta-Notch signaling: A piecewise affine hybrid model","author":"Ghosh","year":"2001"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB20","doi-asserted-by":"crossref","first-page":"1594","DOI":"10.1038\/sj.onc.1204192","article-title":"Cell communication networks: epidermal growth factor receptor transactivation as the paradigm for interreceptor signal transmission","volume":"20","author":"Gschwind","year":"2001","journal-title":"Oncogene"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB21","author":"Hucka","year":"2001","journal-title":"Systems biology markup language"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB22","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/S0092-8674(00)00112-4","article-title":"Signaling networks: The origins of cellular multitasking","volume":"103","author":"Jordan","year":"2000","journal-title":"Cell"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB23","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1093\/nar\/30.1.42","article-title":"The KEGG databases at genomenet","volume":"30","author":"Kanehisa","year":"2002","journal-title":"Nucleic Acids Research"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB24","article-title":"Biocyc web site","author":"Karp","year":"2002","journal-title":"biocyc.org."},{"key":"10.1016\/S1571-0661(05)82533-2_BIB25","doi-asserted-by":"crossref","first-page":"2040","DOI":"10.1126\/science.1064621","article-title":"Pathway databases: A case study in computational symbolic theories","author":"Karp","year":"2001","journal-title":"Science"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB26","doi-asserted-by":"crossref","unstructured":"Karp P.D., Paley S., Romero P. The pathway tools software, 2002. in press.","DOI":"10.1093\/bioinformatics\/18.suppl_1.S225"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB27","doi-asserted-by":"crossref","first-page":"1065","DOI":"10.1038\/sj.onc.1201608","article-title":"Functional capabilities of molecular network components controlling the mammalian G1\/S cell cycle phase transition","volume":"16","author":"Kohn","year":"1998","journal-title":"Oncogene"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB28","doi-asserted-by":"crossref","first-page":"2703","DOI":"10.1091\/mbc.10.8.2703","article-title":"Molecular interaction map of the mammalian cell cycle control and DNA repair systems","volume":"10","author":"Kohn","year":"1999","journal-title":"Mol Biol Cell"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB29","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1042\/0264-6021:3510289","article-title":"Meaningful relationships: The regulation of the Ras\/Raf\/MEK\/ERK pathway by protein interactions","volume":"351","author":"Kolch","year":"2000","journal-title":"Biochem J."},{"key":"10.1016\/S1571-0661(05)82533-2_BIB30","author":"Lincoln","year":"2002","journal-title":"Automated techniques for stability analysis of delta-notch lateral inhibition mechanism"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB31","series-title":"Science STKE","article-title":"Software for signaling networks, electronic and cellular","author":"Lok","year":"2002"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB32","author":"Lok","year":"2002","journal-title":"Pathfinder"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB33","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0168-9525(98)01659-X","article-title":"It's a noisy business! genetic regulation at the nanomolar scale","volume":"15","author":"McAdams","year":"1999","journal-title":"Trends Genet"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB34","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1126\/science.7624793","article-title":"Circuit simulation of genetic networks","volume":"269","author":"McAdams","year":"1995","journal-title":"Science"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB35","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1093\/nar\/28.1.123","article-title":"WIT: integrated system for high-throughput genome sequence analysis and metabolic reconstruction","volume":"28","author":"Overbeek","year":"2000","journal-title":"Nucleic Acids Research"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB36","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1016\/S0092-8674(00)80779-5","article-title":"Signaling networks-do all roads lead to the same genes?","volume":"97","author":"Pawson","year":"1999","journal-title":"Cell"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB37","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1101\/gr.218002. Article published online before print in April 2002","article-title":"Determination of redundancy and systems properties of the metabolic network of helicobacter pylori using genome-scale extreme pathway analysis","volume":"12","author":"Price","year":"2002","journal-title":"Genome Research"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB38","series-title":"Pacific Symposium on Biocomputing","first-page":"459","article-title":"Representation and simulation of biochemical processes using the \u03c0-calculus process algebra","author":"Regev","year":"2001"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB39","series-title":"Pacific Symposium on Biocomputing","first-page":"471","article-title":"Nutrient-related analysis of pathway\/genome databases","author":"Romero","year":"2001"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB40","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/S0092-8674(00)00114-8","article-title":"Cell signaling by receptor tyrosine kinases","volume":"103","author":"Schlessinger","year":"2000","journal-title":"Cell"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB41","series-title":"Cause and Correlation in Biology: A User's Guide to Path Analysis, Structural Equations, and Causal Inference","author":"Shipley","year":"2000"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB42","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1016\/S0896-6273(00)81194-0","article-title":"Mathematical modeling of gene networks","volume":"26","author":"Smolen","year":"2000","journal-title":"Neuron"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB43","doi-asserted-by":"crossref","first-page":"820","DOI":"10.1038\/35015690","article-title":"Exploring genome space","volume":"405","author":"Vukmirovic","year":"2000","journal-title":"Nature"},{"key":"10.1016\/S1571-0661(05)82533-2_BIB44","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1126\/science.284.5411.92","article-title":"Complexity in biological signaling systems","volume":"284","author":"Weng","year":"1999","journal-title":"Science"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105825332?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105825332?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T11:07:30Z","timestamp":1586257650000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105825332"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,4]]},"references-count":44,"alternative-id":["S1571066105825332"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)82533-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2004,4]]}}}