| Vol-1373 urn:nbn:de:0074-1373-4 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# BioPPN 2015
Biological Processes & Petri Nets

### Proceedings of the 6th International Workshop on Biological Processes & Petri Nets
co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015)

### Brussels, Belgium, June 22, 2015.

Edited by

### Monika Heiner *
Annegret K. Wagler **

* Brandenburg Technical University Cottbus-Senftenberg, Faculty of Mathematics, Natural Sciences and Computer Science, Computer Science Institute, 03013 Cottbus, Germany
** University Blaise Pascal (Clermont-Ferrand II), Faculty of Sciences and Technology, ISIMA - LIMOS - CNRS, BP 10125, 63173 Aubiére, France

## Table of Contents

- Preface

- The dynamics of deterministic systems - A survey (invited paper) 1-20
  Luis M. Torres, Annegret K. Wagler
- Petri nets for modelling and analysing trophic networks 21-36
  Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Marta Simeoni
- A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit 37-54
  Mary Ann Blätke, Christian Rohr
- On Modeling internal organs and meridian system based on traditional Chinese medicine 55-69
  Qi-Wei Ge, Ren Wu, Mitsuru Nakata
- Full structural model refinement as type refinement of colored Petri nets 70-84
  Diana-Elena Gratie, Ion Petre
- Dependent shrink for Petri net models of signaling pathways 85-99
  Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno

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

2015-06-19: submitted by Monika Heiner, metadata incl. bibliographic data published under Creative Commons CC0
2015-06-19: published on CEUR-WS.org |valid HTML5|