Logo

publications


data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

selected references - book chapters

13 entries


2019 - 2015 - 2014 - 2012 - 2011 - 2010 - 2009 - 2008

2019

  • [H19]
    M Heiner:
    Petri Nets for BioModel Engineering: A Personal Perspective;
    In Carl Adam Petri: Ideas, Personality, Impact, (W Reisig and G Rozenberg, Eds.), Springer, 2019 (to appear May 2019). [ url ] [ doi ] [ BibTeX ]
  • [IHH19]
    A Ismail, M Herajy and M Heiner:
    A Graphical Approach for the Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets;
    In Automated Reasoning for Systems Biology and Medicine, (P Zuliani and P Liò, Eds.), Springer, 2019 (peer-reviewed, accepted for publication: September 2018, ISBN 978-3-030-17297-8). [ url ] [ BibTeX ]

2015

  • [BHM15]
    MA Blätke, M Heiner and W Marwan:
    BioModel Engineering with Petri Nets;
    In Algebraic and Discrete Mathematical Methods for Modern Biology, (R Robeva, Ed.), Elsevier Inc., pages 141–193, March 2015. [ url ] [ doi ] [ BibTeX ]

2014

  • [BRHM14]
    MA Blätke, C Rohr, M Heiner and W Marwan:
    A Petri Net based Framework for Biomodel Engineering;
    In Large-Scale Networks in Engineering and Life Sciences, (Benner, P, Findeisen, R, Flockerzi, D, Reichl, U and Sundmacher, K, Eds.), Springer, Birkhäuser Mathematics, pages 317–366, December 2014. [ doi ] [ BibTeX ]
  • [LH14]
    F Liu and M Heiner:
    Petri Nets for Modeling and Analyzing Biochemical Reaction Networks;
    In Approaches in Integrative Bioinformatics, (M Chen and R Hofestädt, Eds.), Springer, pages 245–272, 2014. [ url ] [ pdf ] [ doi ] [ BibTeX ]

2012

  • [MRH12]
    W Marwan, C Rohr and M Heiner:
    Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks;
    In Methods in Molecular Biology – Bacterial Molecular Networks, (Jv Helden, A Toussaint and D Thieffry, Eds.), Humana Press, pages 409–437, 2012. [ pdf ] [ doi ] [ BibTeX ]

2011

  • [HG11]
    M Heiner and D Gilbert:
    How Might Petri Nets Enhance Your Systems Biology Toolkit;
    In Proc. PETRI NETS 2011, (Kristensen, LM and Petrucci, L, Eds.), Springer, pages 17–37, 2011. [ url ] [ pdf ] [ doi ] [ BibTeX ]
  • [VHK11]
    K Voss, M Heiner and I Koch:
    Petri Nets for Steady State Analysis of Metabolic Systems;
    In Biological Petri Nets, (E Wingender, Ed.) Pages 56–76, 2011 (reprint of [VHK03]). [ doi ] [ BibTeX ]

2010

  • [GHBO10]
    D Gilbert, M Heiner, R Breitling and R Orton:
    Computation modelling of kinase signalling cascades;
    In MAP Kinase Signaling Protocols, (R Seger, Ed.) Pages 369–384, 2010. [ url ] [ doi ] [ BibTeX ]
  • [HDG10]
    M Heiner, R Donaldson and D Gilbert:
    Petri Nets for Systems Biology;
    In Symbolic Systems Biology: Theory and Methods, (MS Iyengar, Ed.), Jones & Bartlett Learning, LCC, pages 61–97, 2010. [ url ] [ pdf ] [ BibTeX ]

2009

  • [H09]
    M Heiner:
    Understanding Network Behaviour by Structured Representations of Transition Invariants – A Petri Net Perspective on Systems and Synthetic Biology;
    In Algorithmic Bioprocesses, (A Condon, D Harel, JN Kok, A Salomaa and E Winfree, Eds.), Springer, pages 367–389, 2009. [ url ] [ pdf ] [ doi ] [ BibTeX ]

2008

  • [HGD08]
    M Heiner, D Gilbert and R Donaldson:
    Petri Nets for Systems and Synthetic Biology;
    In SFM 2008, (M Bernardo, P Degano and G Zavattaro, Eds.), Springer, pages 215–264, 2008. [ pdf ] [ doi ] [ BibTeX ]
  • [KH08]
    I Koch and M Heiner:
    Petri Nets;
    In Biological Network Analysis, (BH Junker and F Schreiber, Eds.), John Wiley & Sons, pages 139–179, 2008 (Series Eds. Yi Pan, Albert Y. Zomaya). [ url ] [ BibTeX ]

… the end …

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy