[CEUR Workshop Proceedings] Vol-852

Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

BioPPN 2012
Biological Processes & Petri Nets

Proceedings of the 3rd International Workshop on Biological Processes & Petri Nets, a satellite event of PETRI NETS 2012

Hamburg, Germany, June 25, 2012.

Edited by

Monika Heiner *
Ralf Hofestaedt **

* Brandenburg University of Technology at Cottbus, Faculty of Mathematics, Natural Sciences and Computer Science, Computer Science Department, Cottbus, Germany
** Bielefeld University, Faculty of Technology, Bioinformatics Department, Germany

Table of Contents

  1. A Database-supported Modular Modelling Platform for Systems and Synthetic Biology (invited talk) 1
    Wolfgang Marwan
  2. Comparison of Metabolic Pathways by Considering Potential Fluxes (regular paper) 2-17
    Paolo Baldan, Nicoletta Cocco, Marta Simeoni
  3. A Database-supported Modular Modelling Platform for Systems and Synthetic Biology (abstract) 18-19
    Mary Ann Blaetke, Wolfgang Marwan
  4. Petri Nets in VANTED: Simulation of Barley Seed Metabolism (short paper) 20-28
    Anja Hartmann, Hendrik Rohn, Kevin Pucknat, Falk Schreiber
  5. A Hybrid Petri Net Model of the Eukaryotic Cell Cycle (regular paper) 29-43
    Mostafa Herajy, Martin Schwarick
  6. Modelling Atopic Dermatitis using Petri Nets (abstract) 44-46
    Marta Ewa Polak
  7. PNlib - A Modelica Library for Simulation of Biological Systems Based on Extended Hybrid Petri Nets (regular paper) 47-61
    Sabrina Pross, Sebastian Jan Janowski, Bernhard Bachmann, Christian Kaltschmidt, Barbara Kaltschmidt
  8. Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators (regular paper) 62-75
    Christian Rohr
  9. Studying Prostate Cancer as a Network Disease by Qualitative Computer Simulation with Petri Nets (extended abstract) 76-80
    Nicholas Stoy, Sophie Chen, Andrzej Kierzek

The whole proceedings can also be downloaded as a single file (PDF, including title pages, preface, table of contents, author index).

18-Jun-2012: submitted by Monika Heiner
18-Jun-2012: published on CEUR-WS.org