| Vol-852 urn:nbn:de:0074-852-0 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

- Preface

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