{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T05:32:26Z","timestamp":1740634346841,"version":"3.38.0"},"publisher-location":"London","reference-count":45,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781849964739"},{"type":"electronic","value":"9781849964746"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-1-84996-474-6_5","type":"book-chapter","created":{"date-parts":[[2010,10,21]],"date-time":"2010-10-21T07:58:41Z","timestamp":1287647921000},"page":"73-100","source":"Crossref","is-referenced-by-count":0,"title":["Modeling Genetic Regulatory Networks"],"prefix":"10.1007","author":[{"given":"Richard","family":"Banks","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Khomenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. Jason","family":"Steggles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR4","first-page":"17","volume":"4","author":"T. Akutsu","year":"1999","unstructured":"Akutsu, T., Miyano, S., Kuhara, S.: Identification of genetic networks from small number of gene expression patterns under the Boolean network model. Proc. Pac. Symp. Biocomp. 4, 17\u201328 (1999)","journal-title":"Proc. Pac. Symp. Biocomp."},{"issue":"3","key":"5_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1515\/jib-2007-60","volume":"4","author":"R. Banks","year":"2007","unstructured":"Banks, R., Steggles, L.J.: A high-level Petri net framework for genetic regulatory networks. J. Integr. Bioinform. 4(3), 1\u201312 (2007)","journal-title":"J. Integr. Bioinform."},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2008.12.101","volume":"227","author":"R. Banks","year":"2008","unstructured":"Banks, R., Khomenko, V., Steggles, L.J.: A case for using signal transition graphs for analysing and refining genetic networks. Electron. Notes Theor. Comput. Sci. 227, 3\u201319 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"5_CR24","unstructured":"Banks, R.: Qualitatively modelling genetic regulatory networks: Petri net techniques and tools. Ph.D. thesis, School of Computing Science, Newcastle University, upon Tyne (2009)"},{"key":"5_CR35","first-page":"19","volume":"8","author":"A. Bhutkar","year":"2005","unstructured":"Bhutkar, A.: Synthetic biology: navigating the challenges ahead. J. BioLaw Bus. 8, 19\u201329 (2005)","journal-title":"J. BioLaw Bus."},{"key":"5_CR43","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2018.001.0001","volume-title":"Computational Modelling of Genetic and Biochemical Networks","author":"J.M. Bower","year":"2001","unstructured":"Bower, J.M., Bolouri, H.: Computational Modelling of Genetic and Biochemical Networks. MIT Press, Cambridge (2001)"},{"key":"5_CR48","volume-title":"Digital Design Fundamentals","author":"K.J. Breeding","year":"1992","unstructured":"Breeding, K.J.: Digital Design Fundamentals. Prentice Hall, New York (1992)"},{"issue":"4","key":"5_CR63","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C. Chaouiya","year":"2007","unstructured":"Chaouiya, C.: Petri net modelling of biological networks. Brief. Bioinform. 8(4), 210\u2013219 (2007)","journal-title":"Brief. Bioinform."},{"key":"5_CR65","first-page":"137","volume-title":"LNCS","author":"C. Chaouiya","year":"2004","unstructured":"Chaouiya, C., Remy, E., Ruet, P., Thieffry, D.: Qualitative modelling of genetic networks: from logical regulatory graphs to standard Petri nets. In: LNCS, vol. 3099, pp. 137\u2013156. Springer, Berlin (2004)"},{"key":"5_CR66","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/11880646_5","volume-title":"Trans. Comp. Syst. Biol. VI","author":"C. Chaouiya","year":"2006","unstructured":"Chaouiya, C., Remy, E., Thieffry, D.: Qualitative Petri net modelling of genetic networks. In: Trans. Comp. Syst. Biol. VI. LNCS, vol. 4220, pp. 95\u2013112. Springer, Berlin (2006)"},{"issue":"2","key":"5_CR67","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.jda.2007.06.003","volume":"6","author":"C. Chaouiya","year":"2008","unstructured":"Chaouiya, C., Remy, E., Thieffry, D.: Petri net modelling of biological regulatory networks. J. Discret. Algorithms 6(2), 165\u2013177 (2008)","journal-title":"J. Discret. Algorithms"},{"key":"5_CR75","unstructured":"Chu, T.A.: Synthesis of self-timed VLSI circuits from graph-theoretic specifications. MIT\/LCS\/TR-393, Lab. for Comp. Sci., MIT, Cambridge (1987)"},{"key":"5_CR79","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"5_CR81","first-page":"208","volume-title":"LNCS","author":"J.-P. Comet","year":"2005","unstructured":"Comet, J.-P., Klaudel, H., Liauzu, S.: Modeling multi-valued genetic regulatory networks using high-level Petri nets. In: LNCS, vol. 3536, pp. 208\u2013227. Springer, Berlin (2005)"},{"issue":"3","key":"5_CR83","first-page":"315","volume":"E80-D","author":"J. Cortadella","year":"1997","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans. Inform. Syst E80-D(3), 315\u2013325 (1997)","journal-title":"IEICE Trans. Inform. Syst"},{"key":"5_CR84","series-title":"Springer Series in Advanced Microelectronics","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55989-1","volume-title":"Logic Synthesis of Asynchronous Controllers and Interfaces","author":"J. Cortadella","year":"2002","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Logic Synthesis of Asynchronous Controllers and Interfaces. Springer Series in Advanced Microelectronics, vol.\u00a08. Springer, Berlin (2002)"},{"issue":"17","key":"5_CR123","doi-asserted-by":"publisher","first-page":"1917","DOI":"10.1093\/bioinformatics\/btn336","volume":"24","author":"A. Garg","year":"2008","unstructured":"Garg, A., Di Cara, A., Xenarios, I., Mendoza, L., De Micheli, G.: Synchronous versus asynchronous modelling of gene regulatory networks. Bioinformatics 24(17), 1917\u20131925 (2008)","journal-title":"Bioinformatics"},{"key":"5_CR125","first-page":"1","volume-title":"Proc. of the 8th Int. Conf. on Artificial Life","author":"C. Gershenson","year":"2002","unstructured":"Gershenson, C.: Classification of random boolean networks. In: Standish, R.K., et al. (eds.) Proc. of the 8th Int. Conf. on Artificial Life, pp. 1\u20138. MIT Press, Cambridge (2002)"},{"key":"5_CR144","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/3-540-63166-6_43","volume-title":"Proc. of 9th Int. Conf. on Computer Aided Verification","author":"B. Grahlmann","year":"1997","unstructured":"Grahlmann, B.: The PEP tool. In: Proc. of 9th Int. Conf. on Computer Aided Verification. LNCS, vol. 1254, pp. 440\u2013443. Springer, Berlin (1997)"},{"key":"5_CR146","volume-title":"Discrete Mathematics for Computing","author":"P. Grossman","year":"2002","unstructured":"Grossman, P.: Discrete Mathematics for Computing, 2nd edn. Palgrave MacMillan, Basingstoke (2002)","edition":"2"},{"issue":"4","key":"5_CR149","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1142\/S0219720004000764","volume":"2","author":"S. Hardy","year":"2004","unstructured":"Hardy, S., Robillard, P.N.: Modeling and simulation of molecular biology systems using Petri nets: modeling goals of various approaches. J. Bioinform. Comput. Biol. 2(4), 619\u2013637 (2004)","journal-title":"J. Bioinform. Comput. Biol."},{"key":"5_CR159","first-page":"161","volume-title":"Bacterial Stress Responses","author":"R. Hengge-Aronis","year":"2000","unstructured":"Hengge-Aronis, R.: The general stress response in Escherichia coli. In: Storz, G., Hengge-Aronis, R. (eds.) Bacterial Stress Responses, pp. 161\u2013178. ASM, Materials Park (2000)"},{"key":"5_CR175","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H. Jong de","year":"2002","unstructured":"de Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J.\u00a0Computat. Biol. 9, 67\u2013103 (2002)","journal-title":"J.\u00a0Computat. Biol."},{"issue":"10","key":"5_CR182","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1038\/nrm2503","volume":"9","author":"G. Karlebach","year":"2008","unstructured":"Karlebach, G., Shamir, R.: Modelling and analysis of gene regulatory networks. Nat. Rev. Mol. Cell Biol. 9(10), 770\u2013780 (2008)","journal-title":"Nat. Rev. Mol. Cell Biol."},{"key":"5_CR189","doi-asserted-by":"crossref","unstructured":"Khomenko, V.: Model checking based on prefixes of Petri net unfoldings. Ph.D. thesis, School of Computing Science, Newcastle University (2003)","DOI":"10.1007\/3-540-45657-0_49"},{"key":"5_CR191","doi-asserted-by":"publisher","DOI":"10.1002\/9780470517147","volume-title":"Synchronization and Arbitration in Digital Systems","author":"D.J. Kinniment","year":"2007","unstructured":"Kinniment, D.J.: Synchronization and Arbitration in Digital Systems. Wiley, New York (2007)"},{"key":"5_CR248","first-page":"341","volume":"5","author":"H. Matsuno","year":"2000","unstructured":"Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid Petri net representation of gene regulatory network. Proc. Pac. Symp. Biocomput. 5, 341\u2013352 (2000)","journal-title":"Proc. Pac. Symp. Biocomput."},{"issue":"3","key":"5_CR251","first-page":"389","volume":"3","author":"H. Matsuno","year":"2003","unstructured":"Matsuno, H., Tanaka, Y., Aoshima, H., Doi, A., Matsui, M., Miyano, S.: Biopathways representation and simulation on hybrid functional Petri net. In Silico Biol. 3(3), 389\u2013404 (2003)","journal-title":"In Silico Biol."},{"issue":"1","key":"5_CR255","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1142\/S021972000600176X","volume":"4","author":"H. Matsuno","year":"2006","unstructured":"Matsuno, H., Inouye, S.-I.T., Okitsu, Y., Fujii, Y., Miyano, S.: A new regulatory interaction suggested by simulations for circadian genetic control mechanism in mammals. J. Bioinf. Comput. Biol. 4(1), 139\u2013153 (2006)","journal-title":"J. Bioinf. Comput. Biol."},{"key":"5_CR268","first-page":"204","volume-title":"Proc. Int. Symp. of the Theory of Switching, Part I","author":"D.E. Muller","year":"1959","unstructured":"Muller, D.E., Bartky, W.S.: A theory of asynchronous circuits. In: Proc. Int. Symp. of the Theory of Switching, Part I, pp. 204\u2013243. Harvard University Press, Cambridge (1959)"},{"key":"5_CR273","unstructured":"MVSIS. UC Berkeley. http:\/\/www-cad.eecs.berkeley.edu\/mvsis"},{"key":"5_CR289","doi-asserted-by":"publisher","first-page":"4470","DOI":"10.1146\/annurev.genet.39.073003.113656","volume":"39","author":"A.B. Oppenheim","year":"2005","unstructured":"Oppenheim, A.B., Kobiler, O., Stavans, J., Court, D.L., Adhya, S.L.: Switches in bacteriophage \u03bb development. Annu. Rev. Genet. 39, 4470\u20134475 (2005)","journal-title":"Annu. Rev. Genet."},{"issue":"8\u20139","key":"5_CR294","first-page":"991","volume":"14","author":"P. Peccoud","year":"1998","unstructured":"Peccoud, P.: Stochastic Petri nets for genetic networks. Med. Sci. 14(8\u20139), 991\u2013993 (1998)","journal-title":"Med. Sci."},{"key":"5_CR296","unstructured":"PEP homepage: http:\/\/theoretica.informatik.uni-oldenburg.de\/~pep"},{"key":"5_CR301","unstructured":"Petri nets World: http:\/\/www.informatik.uni-hamburg.de\/TGI\/PetriNets"},{"key":"5_CR311","volume-title":"A Genetic Switch: Phage Lambda Revisited","author":"M. Ptashne","year":"2004","unstructured":"Ptashne, M.: A Genetic Switch: Phage Lambda Revisited, 3rd edn. Cold Spring Harbor Laboratory Press, Cold Spring Harbor (2004)","edition":"3"},{"key":"5_CR318","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri nets: an introduction. In: Brauer, W., et al. (eds.) EATCS Monographs on Theoretical Computer Science. Springer, Berlin (1985)"},{"key":"5_CR320","first-page":"52","volume":"4230","author":"E. Remy","year":"2004","unstructured":"Remy, E., Ruet, P., Mendoza, L., Thieffry, D., Chaouiya, C.: From logical regulatory graphs to standard Petri nets: dynamical roles of functionality of feedback circuits. Concurr. Models Molec. Biol. 4230, 52\u201372 (2004)","journal-title":"Concurr. Models Molec. Biol."},{"issue":"2","key":"5_CR323","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.biosystems.2005.10.005","volume":"84","author":"D. Ropers","year":"2006","unstructured":"Ropers, D., de Jong, H., Page, M., Schneider, D., Geiselmann, J.: Qualitative simulation of the nutritional stress response in Escherichia coli. Biosystems 84(2), 124\u2013152 (2006)","journal-title":"Biosystems"},{"key":"5_CR325","first-page":"199","volume-title":"Proc. of the Int. Workshop on Timed Petri Nets","author":"L. Rosenblum","year":"1985","unstructured":"Rosenblum, L., Yakovlev, A.: Signal graphs: from self-timed to timed ones. In: Proc. of the Int. Workshop on Timed Petri Nets, pp. 199\u2013206. IEEE Comput. Soc., Los Alamitos (1985)"},{"issue":"Suppl. 6","key":"5_CR343","doi-asserted-by":"publisher","first-page":"S9","DOI":"10.1186\/1471-2105-8-S6-S9","volume":"8","author":"T. Schlitt","year":"2007","unstructured":"Schlitt, T., Brazma, A.: Current approaches to gene regulatory network modelling. BMC Bioinform. 8(Suppl. 6), S9 (2007)","journal-title":"BMC Bioinform."},{"issue":"2","key":"5_CR362","doi-asserted-by":"publisher","first-page":"ii190","DOI":"10.1093\/bioinformatics\/bti1130","volume":"21","author":"E. Sim\u00e3o","year":"2005","unstructured":"Sim\u00e3o, E., Remy, E., Thieffry, D., Chaouiya, C.: Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E. Coli. Bioinformatics 21(2), ii190\u2013ii196 (2005)","journal-title":"Bioinformatics"},{"key":"5_CR373","series-title":"LNBI","first-page":"127","volume-title":"Computational Methods in Systems Biology. Intern. Conf. CMSB 2006","author":"L.J. Steggles","year":"2006","unstructured":"Steggles, L.J., Banks, R., Wipat, A.: Modelling and analysing genetic networks: from Boolean networks to Petri nets. In: Priama, C. (ed.) Computational Methods in Systems Biology. Intern. Conf. CMSB 2006. LNBI, vol. 4210, pp. 127\u2013141. Springer, Berlin (2006)"},{"issue":"3","key":"5_CR374","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1093\/bioinformatics\/btl596","volume":"23","author":"L.J. Steggles","year":"2007","unstructured":"Steggles, L.J., Banks, R., Shaw, O., Wipat, A.: Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach. Bioinformatics 23(3), 336\u2013343 (2007)","journal-title":"Bioinformatics"},{"key":"5_CR390","volume-title":"Biological Feedback","author":"R. Thomas","year":"1990","unstructured":"Thomas, R., D\u2019Ari, R.: Biological Feedback. CRC Press, Boca Raton (1990)"}],"container-title":["Computational Biology","Modeling in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84996-474-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T00:32:18Z","timestamp":1740616338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84996-474-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9781849964739","9781849964746"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-1-84996-474-6_5","relation":{},"ISSN":["1568-2684"],"issn-type":[{"type":"print","value":"1568-2684"}],"subject":[],"published":{"date-parts":[[2011]]}}}