data structures and software dependability

• home

• contact

• members

• teaching

• research

• publications

• software

• events

selected references - book chapters

14 entries

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

2022

• [LMH22]
  F Liu, H Matsuno, M Heiner:
  Petri Nets for Systems Biology Modelling and Analysis;
  In Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, (Elisabetta De Maria, Ed.), John Wiley & Sons, Inc., pages 15-34, 2022. [ doi ] [ BibTeX ]

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, Cham, pages 205–216, 2019 (first online 25 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, Cham, pages 349–367, 2019 (first online: 12. June 2019). [ url ] [ doi ] [ 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 ]