Advertisement

Natural Computing

, 10:987 | Cite as

Preface: Petri nets for Systems and Synthetic Biology

  • Monika Heiner
Article

Introduction

This special issue Petri Nets for Systems and Synthetic Biology presents selected highlights of a challenging and highly active research field. It consists of two parts, the former “Part 1: Bridging Gaps” and the current “Part 2: Unifying Diversity”.

Systems Biology is the biology-based interdisciplinary research area that focuses on complex interactions between the components of biological systems, and how these interactions give rise to function and behavior of these systems. One of the ambitions of Systems Biology is to discover the outcome of organic evolution and to describe this acquired knowledge in models, which are explanatory of the biological mechanisms as well as suitable for reliable prediction of behaviour when the system is perturbed by, e.g., mutations, chemical interventions or changes in the environment.

In the emerging discipline Synthetic Biology, the very same kind of models are taken as design templates for novel synthetic biological systems, i.e.,...

Keywords

Synthetic Biology Label Transition System Stochastic Activity Network Large Scale Biological Network Gene Clock System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley series in parallel computing, 2nd edn. Wiley, New YorkGoogle Scholar
  2. Baldan P, Cocco N, Marin A, Simeoni M (2010) Petri nets for modelling metabolic pathways: a survey. J Nat Comput 9(4):955–989Google Scholar
  3. Chaouiya C (2007) Petri net modelling of biological networks. Briefings Bioinform 8(4):210–219CrossRefGoogle Scholar
  4. David R, Alla H (2005) Discrete, continuous, and hybrid Petri nets. Springer, BerlinzbMATHGoogle Scholar
  5. Doi A, Drath R, Nagaska M, Matsuno H, Miyano S (1999) Protein dynamics observations of lambda-phage by hybrid Petri net. Genome Inform 10:217–218Google Scholar
  6. Gilbert D, Heiner M, Lehrack S (2007) A unifying framework for modelling and analysing biochemical pathways using Petri nets. In: Proceedings of the CMSB. LNCS/LNBI 4695, Springer, Heidelberg, pp 200–216Google Scholar
  7. Heiner M, Gilbert D (2011) How Might Petri Nets Enhance Your Systems Biology Toolkit. In: Proceedings of the PETRI NETS 2011. LNCS, vol 6709 . Springer, Heidelberg, pp 17–37Google Scholar
  8. Heiner M, Gilbert D, Donaldson R (2008) Petri nets in systems and synthetic biology. In: Schools on formal methods (SFM). LNCS, vol 5016, Springer, Heidelberg, pp 215–264Google Scholar
  9. Heiner M, Lehrack S, Gilbert D, Marwan W (2009a) Extended stochastic Petri nets for model-based design of wetlab experiments. In: Transactions on computational systems biology XI, LNCS. Springer, Heidelberg, pp 138–163Google Scholar
  10. Heiner M, Schwarick M, Tovchigrechko A (2009b) DSSZ-MC—a tool for symbolic analysis of extended Petri nets. In: Proceedings of the PETRI NETS 2009. LNCS, vol 5606. Springer, Heidelberg, pp 323–332Google Scholar
  11. Herajy M, Heiner M (2010) Hybrid Petri nets for modelling of hybrid biochemical interactions. In: Proceedings of the 17th German workshop on algorithms and tools for Petri nets (AWPN 2010). CEUR workshop proceedings, vol 643. http://www.CEUR-WS.org, pp 66–79
  12. Merlin PM (1974) A study of the recoverability of computing systems. University of California, Irvine. PhD Thesis, 1974. Available from University Microfilms, Ann Arbor, No. 75–11026Google Scholar
  13. Soliman S, Heiner M (2010) A unique transformation from ordinary differential equations to reaction networks. PLoS ONE 5(12):e14284CrossRefGoogle Scholar
  14. Valk R (1978) Self-modifying nets, a natural extension of Petri nets. In: Automata, languages and programming. LNCS, vol 62. Springer, Heidelberg, pp 464–476Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Brandenburg University of TechnologyCottbusGermany

Personalised recommendations