{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T12:27:30Z","timestamp":1767961650759,"version":"3.49.0"},"reference-count":36,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,2,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Motivation: New developments in post-genomic technology now provide researchers with the data necessary to study regulatory processes in a holistic fashion at multiple levels of biological organization. One of the major challenges for the biologist is to integrate and interpret these vast data resources to gain a greater understanding of the structure and function of the molecular processes that mediate adaptive and cell cycle driven changes in gene expression. In order to achieve this biologists require new tools and techniques to allow pathway related data to be modelled and analysed as network structures, providing valuable insights which can then be validated and investigated in the laboratory.<\/jats:p><jats:p>Results: We propose a new technique for constructing and analysing qualitative models of genetic regulatory networks based on the Petri net formalism. We take as our starting point the Boolean network approach of treating genes as binary switches and develop a new Petri net model which uses logic minimization to automate the construction of compact qualitative models. Our approach addresses the shortcomings of Boolean networks by providing access to the wide range of existing Petri net analysis techniques and by using non\u2013determinism to cope with incomplete and inconsistent data. The ideas we present are illustrated by a case study in which the genetic regulatory network controlling sporulation in the bacterium Bacillus subtilis is modelled and analysed.<\/jats:p><jats:p>Availability: The Petri net model construction tool and the data files for the B. subtilis sporulation case study are available at<\/jats:p><jats:p>Contact: \u00a0L.J.Steggles@ncl.ac.uk<\/jats:p>","DOI":"10.1093\/bioinformatics\/btl596","type":"journal-article","created":{"date-parts":[[2006,11,23]],"date-time":"2006-11-23T01:24:28Z","timestamp":1164245068000},"page":"336-343","source":"Crossref","is-referenced-by-count":91,"title":["Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach"],"prefix":"10.1093","volume":"23","author":[{"given":"L. Jason","family":"Steggles","sequence":"first","affiliation":[{"name":"School of Computing Science, University of Newcastle \u00a0 Newcastle upon Tyne, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Banks","sequence":"additional","affiliation":[{"name":"School of Computing Science, University of Newcastle \u00a0 Newcastle upon Tyne, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Shaw","sequence":"additional","affiliation":[{"name":"School of Computing Science, University of Newcastle \u00a0 Newcastle upon Tyne, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anil","family":"Wipat","sequence":"additional","affiliation":[{"name":"School of Computing Science, University of Newcastle \u00a0 Newcastle upon Tyne, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2006,11,22]]},"reference":[{"key":"2023041109374598000_","first-page":"17","article-title":"Identification of genetic networks from small number of gene expression patterns under the Boolean network model","volume":"4","author":"Akutsu","year":"1999","journal-title":"Proc. Pacific Symp. Biocomput."},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","article-title":"The Petri net markup language: concepts, technology, and tools","volume-title":"Application and Theory of Petri Nets 2003","author":"Billington","year":"2003"},{"key":"2023041109374598000_","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2018.001.0001","volume-title":"Computational Modelling of Genetic and Biochemical Networks","author":"Bower","year":"2001"},{"key":"2023041109374598000_","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2821-6","volume-title":"Logic Minimisation Algorithms for VLSI Synthesis","author":"Brayton","year":"1984"},{"key":"2023041109374598000_","volume-title":"Digital Design Fundamentals","author":"Breeding","year":"1992"},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","article-title":"Modeling and querying biomolecular interaction networks","volume":"325","author":"Chabrier-Rivier","year":"2004","journal-title":"Theor. Comput. Sci."},{"key":"2023041109374598000_","first-page":"137","article-title":"Qualitative modelling of genetic networks: From logical regulatory graphs to standard Petri nets","author":"Chaouiya","year":"2004"},{"key":"2023041109374598000_","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":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1093\/bioinformatics\/btf851","article-title":"Genetic Network Analyzer: qualitative simulation of genetic regulatory networks","volume":"19","author":"de Jong","year":"2003","journal-title":"Bioinformatics"},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/j.bulm.2003.08.009","article-title":"Qualitative simulation of the initiation of sporulation in Bacillus subtilis","volume":"66","author":"de Jong","year":"2004","journal-title":"Bull. Math. Biol."},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0167-6423(94)00019-0","article-title":"Model checking using net unfoldings","volume":"23","author":"Esparza","year":"1994","journal-title":"Sci. Comput. Programm."},{"key":"2023041109374598000_","first-page":"1","article-title":"Classification of random boolean networks","volume-title":"Proceedings of the 8th International Conference on Artificial Life","author":"Gershenson","year":"2002"},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","article-title":"Quantitative modelling of stochastic systems in molecular biology by using stochastic Petri nets","volume":"95","author":"Goss","year":"1998","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023041109374598000_","first-page":"440","article-title":"The PEP tool","author":"Grahlmann","year":"1997"},{"key":"2023041109374598000_","volume-title":"Discrete Mathematics for Computing","author":"Grossman","year":"2002"},{"key":"2023041109374598000_","first-page":"15","article-title":"Analysis and simulation of steady states in metabolic pathways with Petri nets","volume-title":"Workshop on Practical Use of Coloured Petri Nets and the CPN Tools (CPN'01)","author":"Heiner","year":"2001"},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/s001099900023","article-title":"Gene expression profiling, genetic networks, and cellular states: an integrating concept for tumorigenesis and drug discovery","volume":"77","author":"Huang","year":"1999","journal-title":"J. Mol. Med."},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","article-title":"Metabolic stability and epigenesis in randomly constructed genetic nets","volume":"22","author":"Kauffman","year":"1969","journal-title":"J. Theor. Biol."},{"key":"2023041109374598000_","doi-asserted-by":"crossref","unstructured":"Khomenko V. Model Checking Based on Prefixes of Petri Net Unfoldings. Ph. D. Thesis, School of Computing Science 2003 University of Newcastle upon Tyne","DOI":"10.1007\/s00236-003-0122-y"},{"key":"2023041109374598000_","first-page":"338","article-title":"Hybrid Petri net representation of gene regulatory network","volume":"5","author":"Matsuno","year":"2000","journal-title":"Pac. Symp. Biocomput."},{"key":"2023041109374598000_","first-page":"557","article-title":"Simplification of non-deterministic multi-valued networks","author":"Mishchenko","year":"2002"},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"},{"key":"2023041109374598000_","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. Inform. Assoc."},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0010-4825(95)00042-9","article-title":"Qualitative analysis of biochemical reaction systems","volume":"26","author":"Reddy","year":"1996","journal-title":"Comput. Biol. Med."},{"key":"2023041109374598000_","article-title":"Petri Nets, An Introduction. EATCS Monographs on Theoretical Computer Science","author":"Reisig","year":"1985"},{"key":"2023041109374598000_","article-title":"Lectures on Petri nets I: basic models. Advances in Petri Nets","author":"Reisig","year":"1998"},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"3638","DOI":"10.1093\/bioinformatics\/bth395","article-title":"SARGE: a tool for creation of putative genetic networks","volume":"20","author":"Shaw","year":"2004","journal-title":"Bioinformatics"},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.entcs.2006.03.015","article-title":"Automatic parameterisation of Stochastic Petri net models of biological networks","volume":"151","author":"Shaw","year":"2006","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2023041109374598000_","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":"Sim\u00e3o","year":"2005","journal-title":"Bioinformatics"},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"3273","DOI":"10.1091\/mbc.9.12.3273","article-title":"Comprehensive identification of cell cycle-regulated genes of the yeast Saccharomyces cerevisiae by microarray hybridization","volume":"9","author":"Spellman","year":"1998","journal-title":"Mol. Biol. Cell"},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/j.fmrre.2004.10.003","article-title":"Molecular insights into the initiation of sporulation in Gram-positive bacteria: new technologies for an old phenomenon","volume":"29","author":"Stephenson","year":"2005","journal-title":"FEMS Microbiol. Rev."},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1146\/annurev.genet.30.1.297","article-title":"Molecular genetics of sporulation in Bacillus subtilis","volume":"30","author":"Stragier","year":"1996","journal-title":"Ann. Revi. Genet."},{"key":"2023041109374598000_","first-page":"66","article-title":"Modeling the normal and neoplastic cell cycle with \u2018realistic Boolean genetic networks\u2019: their application for understanding carcinogenesis and assessing therapeutic strategies","volume":"3","author":"Szallasi","year":"1998","journal-title":"Pac. Symp. Biocomput."},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1197\/jamia.M1103","article-title":"Modeling and simulation of pathways in menopause","volume":"9","author":"Tsavachidou","year":"2002","journal-title":"J. Am. Med. Inform. Assoc."},{"key":"2023041109374598000_","first-page":"288","article-title":"Basins of attraction in network dynamics: a conceptual framework for biomolecular networks","volume-title":"Modularity in Development and Evolution","author":"Wuensche","year":"2003"},{"key":"2023041109374598000_","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1038\/35001009","article-title":"A comprehensive analysis of protein\u2013protein interactions in Saccharomyces cerevisiae","volume":"403","author":"Uetz","year":"2000","journal-title":"Nature"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/23\/3\/336\/49829137\/bioinformatics_23_3_336.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/23\/3\/336\/49829137\/bioinformatics_23_3_336.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T02:12:13Z","timestamp":1736647933000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/23\/3\/336\/235741"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,22]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btl596","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2007,2,1]]},"published":{"date-parts":[[2006,11,22]]}}}