Skip to main content
SpringerLink
Log in

Preface: Petri nets for Systems and Synthetic Biology

  • Published:
Natural Computing Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1

References

  • 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, Newyork

    Google Scholar 

  • Baldan P, Cocco N, Marin A, Simeoni M (2010) Petri nets for modelling metabolic pathways: a survey. J Nat Comput 9:955–989

    Google Scholar 

  • Chaouiya C (2007) Petri net modelling of biological networks. Brief in Bioinform 8(4):210–219

    Article  Google Scholar 

  • David R, Alla H (2005) Discrete, continuous, and hybrid Petri nets. Springer, Berlin

    MATH  Google Scholar 

  • 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–218

    Google Scholar 

  • 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–264

  • Heiner M, Lehrack S, Gilbert D, Marwan W (2009a) Extended stochastic Petri nets for model-based design of Wetlab experiments. transactions on computational systems biology XI. Springer, Heidelberg, pp 138–163

  • 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, pp 323–332, June

  • 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. CEUR-WS.org, October

  • Merlin PM (1974) A study of the recoverability of computing systems. PhD Thesis, University of California, Irvine 1974. Available from University Microfilms, Ann Arbor, No. 75–11026

  • Valk R (1978) Self-modifying nets, a natural extension of Petri nets. In: LNCS, automata, languages and programming, vol 62, pp 464–476

Download references

Author information

Authors and Affiliations

  1. Brandenburg University of Technology at Cottbus, Cottbus, Germany

    Monika Heiner

Authors
  1. Monika Heiner
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Monika Heiner.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Heiner, M. Preface: Petri nets for Systems and Synthetic Biology. Nat Comput 10, 633–638 (2011). https://doi.org/10.1007/s11047-011-9253-1

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11047-011-9253-1

Search

Navigation