{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T09:17:29Z","timestamp":1775726249031,"version":"3.50.1"},"reference-count":34,"publisher":"Oxford University Press (OUP)","issue":"13","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Motivation: An increasing number of discrete mathematical models are being published in Systems Biology, ranging from Boolean network models to logical models and Petri nets. They are used to model a variety of biochemical networks, such as metabolic networks, gene regulatory networks and signal transduction networks. There is increasing evidence that such models can capture key dynamic features of biological networks and can be used successfully for hypothesis generation.<\/jats:p>\n               <jats:p>Results: This article provides a unified framework that can aid the mathematical analysis of Boolean network models, logical models and Petri nets. They can be represented as polynomial dynamical systems, which allows the use of a variety of mathematical tools from computer algebra for their analysis. Algorithms are presented for the translation into polynomial dynamical systems. Examples are given of how polynomial algebra can be used for the model analysis.<\/jats:p>\n               <jats:p>Contact: \u00a0alanavc@vt.edu<\/jats:p>\n               <jats:p>Supplementary information: \u00a0Supplementary data are available at Bioinformatics online.<\/jats:p>","DOI":"10.1093\/bioinformatics\/btq240","type":"journal-article","created":{"date-parts":[[2010,5,7]],"date-time":"2010-05-07T02:02:03Z","timestamp":1273197723000},"page":"1637-1643","source":"Crossref","is-referenced-by-count":67,"title":["Polynomial algebra of discrete models in systems biology"],"prefix":"10.1093","volume":"26","author":[{"given":"Alan","family":"Veliz-Cuba","sequence":"first","affiliation":[{"name":"1 Virginia Bioinformatics Institute, Department of Mathematics, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA and 2 Department of Mathematics and Statistics, American University of Sharjah, Sharjah, UAE"}]},{"given":"Abdul Salam","family":"Jarrah","sequence":"additional","affiliation":[{"name":"1 Virginia Bioinformatics Institute, Department of Mathematics, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA and 2 Department of Mathematics and Statistics, American University of Sharjah, Sharjah, UAE"},{"name":"1 Virginia Bioinformatics Institute, Department of Mathematics, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA and 2 Department of Mathematics and Statistics, American University of Sharjah, Sharjah, UAE"}]},{"given":"Reinhard","family":"Laubenbacher","sequence":"additional","affiliation":[{"name":"1 Virginia Bioinformatics Institute, Department of Mathematics, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA and 2 Department of Mathematics and Statistics, American University of Sharjah, Sharjah, UAE"}]}],"member":"286","published-online":{"date-parts":[[2010,5,6]]},"reference":[{"key":"2023012507562108500_B1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-5193(03)00035-3","article-title":"The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster","volume":"223","author":"Albert","year":"2003","journal-title":"J. Theor. Bio."},{"key":"2023012507562108500_B2","doi-asserted-by":"crossref","first-page":"19103","DOI":"10.1073\/pnas.0505231102","article-title":"The global transcriptional regulatory network for metabolism in Escherichia coli exhibits few dominant functional states","volume":"102","author":"Barrett","year":"2005","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023012507562108500_B3","first-page":"137","article-title":"Qualitative modelling of genetic networks: from logical regulatory graphs to standard Petri nets","volume-title":"ICATPN'04","author":"Chaouiya","year":"2004"},{"key":"2023012507562108500_B4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/j.jda.2007.06.003","article-title":"Petri net modelling of biological regulatory networks","volume":"6","author":"Chaouiya","year":"2008","journal-title":"J. Discrete Algorithms"},{"key":"2023012507562108500_B5","first-page":"208","article-title":"Modeling multi-valued genetic regulatory networks using high-level Petri nets","volume-title":"Proceedings of the International Conference on the Application and Theory of Petri Nets","author":"Comet","year":"2005"},{"key":"2023012507562108500_B6","doi-asserted-by":"crossref","first-page":"e1672","DOI":"10.1371\/journal.pone.0001672","article-title":"Boolean network model predicts cell cycle sequence of fission yeast","volume":"3","author":"Davidich","year":"2007","journal-title":"PLoS One"},{"key":"2023012507562108500_B7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/TCT.1959.1086506","article-title":"The theory of autonomous linear sequential networks","volume":"CT-6","author":"Elspas","year":"1959","journal-title":"IRE Trans. Circuit Theory"},{"key":"2023012507562108500_B8","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/j.biosystems.2008.05.019","article-title":"Algebraic properties of automata associated to Petri nets and applications to computation in biological systems","volume":"94","author":"Egri-Nagy","year":"2008","journal-title":"Biosystems"},{"key":"2023012507562108500_B9","doi-asserted-by":"crossref","first-page":"2923","DOI":"10.1105\/tpc.104.021725","article-title":"A gene regulatory network model for cell-fate determination during A rabidopsis thaliana flower development that is robust and recovers experimental gene expression profiles","volume":"16","author":"Espinosa-Soto","year":"2004","journal-title":"Plant Cell"},{"key":"2023012507562108500_B10","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1093\/bioinformatics\/btl210","article-title":"Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle","volume":"22","author":"Faure","year":"2006","journal-title":"Bioinformatics"},{"key":"2023012507562108500_B11","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1016\/j.jbi.2006.12.001","article-title":"Petri net based model of the body iron homeostasis","volume":"40","author":"Formanowicz","year":"2007","journal-title":"J. Biomed. Inform."},{"key":"2023012507562108500_B12","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/j.biosystems.2008.02.005","article-title":"Petri net modelling of gene regulation of the duchenne muscular dystrophy","volume":"92","author":"Grunwald","year":"2008","journal-title":"Biosystems"},{"key":"2023012507562108500_B13","doi-asserted-by":"crossref","first-page":"2977","DOI":"10.1081\/AGB-200066211","article-title":"Linear finite dynamical systems","volume":"33","author":"Hern\u00e1ndez-Toledo","year":"2005","journal-title":"Communications in Algebra"},{"key":"2023012507562108500_B14","doi-asserted-by":"crossref","DOI":"10.1007\/s11538-010-9501-z","article-title":"The Dynamics of Conjunctive and Disjunctive Boolean Network Models","author":"Jarrah","year":"2010","journal-title":"Bull. Math. Bio."},{"key":"2023012507562108500_B15","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/j.physd.2007.06.022","article-title":"Nested canalyzing, unate cascade, and polynomial functions","volume":"233","author":"Jarrah","year":"2007","journal-title":"Physica D"},{"key":"2023012507562108500_B16","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1016\/j.compbiolchem.2008.07.022","article-title":"Modeling the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets","volume":"33","author":"Kielbassa","year":"2009","journal-title":"Comput. Biol. Chem."},{"key":"2023012507562108500_B17","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1186\/1471-2105-7-56","article-title":"A methodology for the structural and functional analysis of signaling and regulatory networks","volume":"7","author":"Klamt","year":"2006","journal-title":"BMC Bioinformatics"},{"key":"2023012507562108500_B18","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1016\/j.jtbi.2004.04.037","article-title":"A computational algebra approach to the reverse-engineering of gene regulatory networks","volume":"229","author":"Laubenbacher","year":"2004","journal-title":"J. Theor. Biol."},{"key":"2023012507562108500_B19","doi-asserted-by":"crossref","first-page":"4781","DOI":"10.1073\/pnas.0305937101","article-title":"The yeast cell-cycle network is robustly designed","volume":"101","author":"Li","year":"2004","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023012507562108500_B20","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.biosystems.2005.10.004","article-title":"A network model for the control of the differentiation process in Th cells","volume":"84","author":"Mendoza","year":"2006","journal-title":"Biosystems"},{"key":"2023012507562108500_B21","doi-asserted-by":"crossref","DOI":"10.1186\/1742-4682-3-13","article-title":"A method for the generation of standardized qualitative dynamical systems of regulatory networks","volume":"3","author":"Mendoza","year":"2006","journal-title":"Theor. Biol. Med. Model."},{"key":"2023012507562108500_B22","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1093\/bioinformatics\/15.7.593","article-title":"Genetic control of flower morphogenesis in arabidopsis thaliana: a logical analysis","volume":"15","author":"Mendoza","year":"1999","journal-title":"Bioinformatics"},{"key":"2023012507562108500_B23","first-page":"233","article-title":"Decision diagrams for the representation and analysis of logical models of genetic networks","volume-title":"CMSB'07","author":"Naldi","year":"2007"},{"key":"2023012507562108500_B24","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1197\/jamia.M1637","article-title":"Using Petri net tools to study properties and dynamics of biological systems","volume":"12","author":"Peleg","year":"2005","journal-title":"J. Am. Med. Informatics Assoc."},{"key":"2023012507562108500_B25","first-page":"55","article-title":"From logical regulatory graphs to standard Petri nets: dynamical roles and functionality of feedback circuits","volume-title":"Transactions on Computation Systems Biology VII (TCSB)","author":"Remy","year":"2006"},{"key":"2023012507562108500_B26","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1038\/msb.2009.87","article-title":"Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction","volume":"5","author":"Saez-Rodriguez","year":"2009","journal-title":"Mol. Syst. Biol."},{"key":"2023012507562108500_B27","doi-asserted-by":"crossref","DOI":"10.1186\/1752-0509-2-21","article-title":"The regulatory network of E. coli metabolism as a Boolean dynamical system exhibits both homeostasis and flexibility of response","volume":"2","author":"Samal","year":"2008","journal-title":"BMC Syst. Biol."},{"key":"2023012507562108500_B28","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1093\/bioinformatics\/bti1130","article-title":"Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E. coli","volume":"21","author":"Simao","year":"2005","journal-title":"Bioinformatics"},{"key":"2023012507562108500_B29","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1093\/bioinformatics\/btl596","article-title":"Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach","volume":"23","author":"Steggles","year":"2007","journal-title":"Bioinformatics"},{"key":"2023012507562108500_B30","first-page":"127","article-title":"Modelling and analysing genetic networks: From Boolean networks to Petri nets","volume-title":"Computational Methods in Systems Biology. International Conference","author":"Steggles","year":"2006"},{"key":"2023012507562108500_B31","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1016\/0022-5193(73)90247-6","article-title":"Boolean formalisation of genetic control circuits","volume":"42","author":"Thomas","year":"1973","journal-title":"J. Theor. Biol."},{"key":"2023012507562108500_B32","volume-title":"Biological Feedback.","author":"Thomas","year":"1989"},{"key":"2023012507562108500_B33","doi-asserted-by":"crossref","first-page":"46006","DOI":"10.1088\/1478-3975\/6\/4\/046006","article-title":"Flux networks in metabolic graphs","volume":"6","author":"Warren","year":"2009","journal-title":"Phys. Biol."},{"key":"2023012507562108500_B34","doi-asserted-by":"crossref","first-page":"1715","DOI":"10.1109\/TNN.2005.857944","article-title":"A remark on \u201cScalar Equations for Synchronous Boolean Networks with Biological Applications\u201d by C. Farrow, J. Heidel, J. Maloney, and J. Rogers","volume":"16","author":"Zhao","year":"2005","journal-title":"IEEE Trans. Neural Netw."}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/26\/13\/1637\/48852627\/bioinformatics_26_13_1637.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/26\/13\/1637\/48852627\/bioinformatics_26_13_1637.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,25]],"date-time":"2023-01-25T07:56:50Z","timestamp":1674633410000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/26\/13\/1637\/200401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,6]]},"references-count":34,"journal-issue":{"issue":"13","published-print":{"date-parts":[[2010,7,1]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btq240","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2010,7,1]]},"published":{"date-parts":[[2010,5,6]]}}}