Abstract
To date, the most expressive, and understandable dynamic models of biological systems identified by ILP have employed qualitative differential equations, or QDEs. The QDE representation provides a direct and simple abstraction of quantitative ODEs. However, the representation does have several limitations, including the generation of spurious behaviour in simulation, and a lack of methods for handling concurrency, quantitative information or stochasticity. These issues are largely absent in the long-established qualitative representation of Petri nets. A flourishing area of Petri net models for biological systems now exists, which has almost entirely been concerned with hand-crafted models. In this paper we show that pure and extended Petri nets can be represented as special cases of systems in which transitions are defined using a combination of logical constraints and constraints on linear terms. Results from a well-known combinatorial algorithm for identifying pure Petri nets from data and from the ILP literature on inverting entailment form the basis of constructing a maximal set of such transition constraints given data and background knowledge. An ILP system equipped with a constraint solver is then used to determine the smallest subset of transition constraints that are consistent with the data. This has several advantages over using a specialised Petri net learner for biological system identification, most of which arise from the use of background knowledge. As a result: (a) search-spaces can be constrained substantially using semantic and syntactic constraints; (b) we can perform the hierarchical identification of Petri models of large systems by re-use of well-established network models; and (c) we can use a combination of abduction and data-based justification to hypothesize missing parts of a Petri net. We demonstrate these advantages on well-known metabolic and signalling networks.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets, 2nd edn. Springer, Berlin (2010)
Durzinsky, M., Wagler, A., Weismantel, R.: An algorithmic framework for network reconstruction. Theoretical Computer Science 412, 2800–2815 (2011)
Durzinsky, M., Wagler, A., Weismantel, R., Marwan, W.: Automatic reconstruction of molecular and genetic networks from discrete time series data. BioSystems 93, 181–190 (2008)
Ideker, T., Galitski, T., Hood, L.: A new approach to decoding life: systems biology. Ann. Review of Genomics and Human Genetics 2, 343–372 (2001)
Junker, B.H., Schreiber, F.: Analysis of Biological Networks. Wiley, NJ (2008)
Koch, I., Reisig, W., Schreiber, F. (eds.): Modeling in Systems Biology: the Petri Net Approach. Springer, Berlin (2011)
Moore, J., Hahn, L.: Petri net modeling of high-order genetic systems using grammatical evolution. BioSystems 72, 177–186 (2003)
Muggleton, S.: Inverse Entailment and Progol. New Generation Computing 13, 245–286 (1995)
Muggleton, S., Marginean, F.: Binary refinement. In: Minker, J., McCarthy, J. (eds.) Proc. Workshop on Logic-Based Artificial Intelligence (1999)
Palsson, B.: Systems Biology: Properties of Reconstructed Networks. Cambridge University Press, Cambridge (2006)
Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)
Rauzy, A.: Guarded Transition Systems: a new States/Events Formalism for Reliability Studies. Journal of Risk and Reliability 222(4), 495–505 (2008)
Srinivasan, A., King, R.D.: Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming. Journal of Machine Learning Research 9, 1475–1533 (2008)
Wagler, A.: Prediction of Network Structure. In: Koch, I., Reisig, W., Schreiber, F. (eds.) Modeling in Systems Biology: the Petri Net Approach, pp. 307–336. Springer, Berlin (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Srinivasan, A., Bain, M. (2012). Knowledge-Guided Identification of Petri Net Models of Large Biological Systems. In: Muggleton, S.H., Tamaddoni-Nezhad, A., Lisi, F.A. (eds) Inductive Logic Programming. ILP 2011. Lecture Notes in Computer Science(), vol 7207. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31951-8_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-31951-8_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31950-1
Online ISBN: 978-3-642-31951-8
eBook Packages: Computer ScienceComputer Science (R0)