Natural Computing

, 10:987 | Cite as

Preface: Petri nets for Systems and Synthetic Biology



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.


  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, BerlinMATHGoogle 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., 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